RTL Design and Logic Synthesis of Traffic Light Controller for 45nm Technology | IEEE Conference Publication | IEEE Xplore