An Efficient Implementation of Reactivity for Modeling Hardware (1997)

by S Liao, S Tjiang, R Gupta
Venue:in the Scenic Design Environment,” Proc. 34 th DAC