Patent ID: 9659118
Date: 2017-05-23
CPC Classifications: G06F

Claim:
1. A non-transitory computer readable medium storing instructions to configure an emulator to: receive, at a flip flop of a portion of a design under test (DUT) implemented on the emulator, an input signal and a reference signal; determine whether the reference signal has a speculative transition in a state of the reference signal from an unknown state or to the unknown state; generate, responsive to determining the reference signal having the speculative transition, an output of the flip flop based on a state of the input signal and a state of the output of the flip flop prior to the speculative transition of the reference signal; and propagate the unknown state to an output of the DUT by performing a digital logic operation using the output of the flip flop as an input of a digital logic circuit of the DUT.