Ad. Brown et al., ISSUES IN THE DESIGN OF A LOGIC SIMULATOR - ELEMENT MODELING FOR EFFICIENCY, IEE proceedings. Circuits, devices and systems, 143(1), 1996, pp. 21-27
A unique method of using inertial cancellation in the detection of set
-up and hold-time violations in flip-flops and other memory-like eleme
nts is described, together with an effective technique of modelling so
urces so that each queues at most one event at any time. Results are p
resented showing a test circuit failing to operate correctly as a resu
lt of timing violations, correctly simulated by these modelling techni
ques.