Detail page for incrementer-encoder family

Download (113430 Kb)
Submitter:Paolo Marin
Suite:Miller-Marin
Domain:Formal Verification
Description: Blackbox BMC encoding of various modifications of an Incrementer-Encoder design which is constructed out of a configurable incrementer unit and a combinatorial logic puzzle. The instances contain about 500 gates and 20 latches.
Number of instances:612
Results:
Instances: