Social Times of Network Spaces David Stark and Balazs Vedres.
Recording Synthesis History for Sequential Verification Robert Brayton Alan Mishchenko UC Berkeley.
1 Moshe Levinger – from IBM Labs Haifa Daniel Kroening – from ETH Zurich Sharad Malik – from Princeton US Nikolaj Bjorner – from Microsoft Research US.
5/6/2004J.-H. R. Jiang1 Functional Dependency for Verification Reduction & Logic Minimization EE290N, Spring 2004.