Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits.

Nagisa Ishiura, Mizuki Takahashi, Shuzo Yajima

Browse the full DAC paper archive.