Sequential Equivalence Checking with Efficient Filtering Strategies for Inductive Invariants

Powerful sequential optimization techniques can drastically change the Integrated Circuit (IC) design paradigm. Due to the limited capability of sequential verification tools, aggressive sequential optimization is shunned nowadays as there is no efficient way to prove the preservation of equivalence...

Full description

Bibliographic Details
Main Author: Nguyen, Huy
Other Authors: Electrical and Computer Engineering
Format: Others
Published: Virginia Tech 2014
Subjects:
Online Access:http://hdl.handle.net/10919/31986
http://scholar.lib.vt.edu/theses/available/etd-04272011-155909/