Enhanced verification by temporal decomposition
暂无分享,去创建一个
[1] Kwang-Ting Cheng,et al. Sequential equivalence checking based on k-th invariants and circuit SAT solving , 2005, Tenth IEEE International High-Level Design Validation and Test Workshop, 2005..
[2] Per Bjesse,et al. Automatic generalized phase abstraction for formal verification , 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..
[3] Jason Baumgartner,et al. Scalable Automated Verification via Expert-System Guided Transformations , 2004, FMCAD.
[4] Armin Biere,et al. Bounded Model Checking Using Satisfiability Solving , 2001, Formal Methods Syst. Des..
[5] Jason Baumgartner,et al. Transformation-Based Verification Using Generalized Retiming , 2001, CAV.
[6] Robert K. Brayton,et al. MIS: A Multiple-Level Logic Optimization System , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[7] Robert K. Brayton,et al. DAG-aware AIG rewriting: a fresh look at combinational logic synthesis , 2006, 2006 43rd ACM/IEEE Design Automation Conference.
[8] A. Kuehlmann,et al. Equivalence Checking Using Cuts And Heaps , 1997, Proceedings of the 34th Design Automation Conference.
[9] C. A. J. van Eijk,et al. Sequential Equivalence Checking Based on Structural Similarities , 2000 .
[10] Andreas Kuehlmann,et al. Temporal decomposition for logic optimization , 2005, 2005 International Conference on Computer Design.
[11] Qi Zhu,et al. SAT sweeping with local observability don't-cares , 2006, 2006 43rd ACM/IEEE Design Automation Conference.
[12] Armin Biere. The AIGER And-Inverter Graph (AIG) Format Version 20070427 , 2007 .
[13] L. Fix,et al. A hybrid verification approach: Getting deep into the design , 2002, Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).
[14] Jason Baumgartner,et al. Automatic formal verification of fused-multiply-add FPUs , 2005, Design, Automation and Test in Europe.
[15] Jason Baumgartner,et al. Scalable Sequential Equivalence Checking across Arbitrary Design Transformations , 2006, 2006 International Conference on Computer Design.
[16] Kenneth L. McMillan,et al. Interpolation and SAT-Based Model Checking , 2003, CAV.