Now showing items 1-2 of 2
Sequential Equivalence Checking with Efficient Filtering Strategies for Inductive Invariants
(Virginia Tech, 2011-04-25)
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 ...
Sufficiency-based Filtering of Invariants for Sequential Equivalence Checking
(Virginia Tech, 2011-02-01)
Verification, as opposed to Testing and Post-Silicon Validation, is a critical step for Integrated Circuits (IC) Design, answering the question â Are we designing the right function?â before the chips are manufactured. ...