Sciweavers

144 search results - page 2 / 29
» dac 1999
Sort
View
DAC
1999
ACM
13 years 9 months ago
Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits
Valeria Bertacco, Maurizio Damiani, Stefano Quer
DAC
1999
ACM
13 years 9 months ago
Improving Symbolic Traversals by Means of Activity Profiles
Gianpiero Cabodi, Paolo Camurati, Stefano Quer