Cycle-Based Symbolic Simulation of Gate-level Synchronous Circuits (1999)

by V Bertacco, M Damiani, S Quer
Venue:In Proceedings of DAC