| 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. | |