Project done for my B.Tech course on Formal Methods for System Verification
-
Updated
Oct 25, 2021
#
traffic-controller
Here are 3 public repositories matching this topic...
Simulating traffic controller sequence at Thapathali intersection using Xilinx and 8051
-
Updated
Aug 9, 2018 - C
Sensor-aware 4-road traffic light controller using Finite State Machine in Verilog. Dynamically manages traffic flow with priority-based signal allocation, timer-controlled phase transitions, and real-time traffic monitoring for smart city applications.
-
Updated
Aug 4, 2025 - Verilog
Improve this page
Add a description, image, and links to the traffic-controller topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the traffic-controller topic, visit your repo's landing page and select "manage topics."