×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [sequential equivalence]
Home >
sequential equivalence
Social Times of Network Spaces David Stark and Balazs Vedres.
222 views
Recording Synthesis History for Sequential Verification Robert Brayton Alan Mishchenko UC Berkeley.
215 views
1 Moshe Levinger – from IBM Labs Haifa Daniel Kroening – from ETH Zurich Sharad Malik – from Princeton US Nikolaj Bjorner – from Microsoft Research US.
217 views
5/6/2004J.-H. R. Jiang1 Functional Dependency for Verification Reduction & Logic Minimization EE290N, Spring 2004.
219 views