Sequential equivalence checking of hard instances with targeted inductive invariants and efficient filtering strategies

Huy Nguyen, Michael S. Hsiao. Sequential equivalence checking of hard instances with targeted inductive invariants and efficient filtering strategies. In 2012 IEEE International High Level Design Validation and Test Workshop, HLDVT 2012, Huntington Beach, CA, USA, November 9-10, 2012. pages 1-8, IEEE Computer Society, 2012. [doi]

Authors

Huy Nguyen

This author has not been identified. Look up 'Huy Nguyen' in Google

Michael S. Hsiao

This author has not been identified. Look up 'Michael S. Hsiao' in Google