Time-symbolic simulation for accurate timing verification of asynchronous behavior of logic circuits
Nagisa Ishiura, Minoru Takahashi, Shuzo Yajima · 1989
As a new approach for timing verification of logic circuits, we propose a new concept of time-symbolic simulation. While a conventional symbolic simulator treats signal values as logical expressions, a time-symbolic simulator treats time as algebraic expressions. In this paper, we describe algorithms for time-symbolic simulation, and its application to hazard detection and verification of asynchronous sequential circuits.