IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation
- 1 January 2000
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Vol. 19 (8) , 907-927
- https://doi.org/10.1109/43.856977
Abstract
No abstract availableThis publication has 45 references indexed in Scilit:
- A satisfiability-based test generator for path delay faults in combinational circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Algorithms for solving Boolean satisfiability in combinational circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- SAT based ATPG using fast justification and propagation in the implication graphPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- GRASP-A new search algorithm for satisfiabilityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Redundancy removal and test generation for circuits with non-Boolean primitivesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Combinational test generation using satisfiabilityIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996
- Energy models for delay testingIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1995
- An efficient method for generating exhaustive test setsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1995
- A transitive closure algorithm for test generationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993
- Test pattern generation using Boolean satisfiabilityIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992