Simulation on small circuits reveal, that the commonly used methods fail
to provide a comprehensive picture of the possible behavior. The
Involution Delay Model, however, manages to fill this gap at a cost of
increased simulation time.