<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-04-28 18:02:46Formal methods Logic in computer science Electronic design automation Mathematical logic Programming paradigms And-inverter graph Logic programming Model checking Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics |
Add to Reading List |
Cut-Based Inductive Invariant Computation Michael Case1,2 1 Alan Mishchenko1 | Microsoft Word - speedup10.docDocID: O7jr - View Document |
 | Scalable Logic Synthesis using a Simple Circuit Structure Alan Mishchenko Robert Brayton EECS Department, University of California, Berkeley, CA 94720DocID: O4NK - View Document |
 | Microsoft Word - power18.docDocID: O4L0 - View Document |
 | Verification after Synthesis Alan Mishchenko Robert Brayton Department of EECSDocID: O4H3 - View Document |
 | Integrating Logic Synthesis, Technology Mapping, and Retiming Alan Mishchenko Satrajit Chatterjee Robert BraytonDocID: O3JU - View Document |