Publications

3 results for Hari Mony

The art of semi-formal bug hunting
- - Pradeep Kumar Nalla
  - Raj Kumar Gajavelly
  - et al.
- 2016
- ICCAD 2016
Scalable conditional equivalence checking: An automated invariant-generation based approach
- - Jason Baumgartner
  - Hari Mony
  - et al.
- 2009
- FMCAD 2009
Scalable sequential equivalence checking across arbitrary design transformations
- - Jason Baumgartner
  - Hari Mony
  - et al.
- 2006
- ICCD 2006