Detail page for trafficlight-controller family

Download (583690 Kb)
Submitter:Paolo Marin
Suite:Miller-Marin
Domain:Formal Verification
Description: Blackbox BMC encoding of various modifications of a trafficlight controller (VHDL code available at opencores.org) which is combined with a configurable incrementer unit. The instances contain about 300 gates and 26 latches.
Number of instances:1622
Results:
Instances: