| 2006 |
|---|
| 3 | EE | Jason Baumgartner,
Hari Mony,
Viresh Paruthi,
Robert Kanzelman,
Geert Janssen:
Scalable Sequential Equivalence Checking across Arbitrary Design Transformations .
ICCD 2006 |
| 2005 |
|---|
| 2 | EE | Hari Mony,
Jason Baumgartner,
Viresh Paruthi,
Robert Kanzelman:
Exploiting suspected redundancy without proving it.
DAC 2005: 463-466 |
| 2004 |
|---|
| 1 | EE | Hari Mony,
Jason Baumgartner,
Viresh Paruthi,
Robert Kanzelman,
Andreas Kuehlmann:
Scalable Automated Verification via Expert-System Guided Transformations.
FMCAD 2004: 159-173 |
