Detail page for Counter family

Download (9660 Kb)
Submitter:Armin Biere
Domain:Formal Verification
Description: A generator for the following problem. Given an n-bit-counter with optional reset r and enable e signals, check whether it is possible to reach the state where all n bits are set to 1 starting from the initial state where all bits are set to 0.
Number of instances:88