High Quality Test Pattern Generation and Boolean Satisfiability

DOI10.1007/978-1-4419-9976-4MaRDI QIDQ3106263zbMATH OpenOpenAlexWikidataFDO

Authors Stephan Eggersglüß, Rolf Drechsler

Publication date 20 December 2011

Full work available at URL https://doi.org/10.1007/978-1-4419-9976-4

zbMATH Keywords

automatic test pattern generationBoolean satisfiability

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07) Reliability, testing and fault tolerance of networks and computer systems (68M15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02) Fault detection; testing in circuits and networks (94C12)

Recommendations

• Test Pattern Generation using Boolean Proof Engines
• High-level synthesis techniques for functional test pattern execution
• Thread-parallel integrated test pattern generator utilizing satisfiability analysis
• High-level test synthesis: a survey
• scientific article; zbMATH DE number 4059296
• scientific article; zbMATH DE number 2079824
• Testing satisfiability

Cited in

(7)

• A novel RTL behavioral description based ATPG method
• TG-Pro: A SAT-based ATPG system
• Test Pattern Generation using Boolean Proof Engines
• High-level test synthesis: a survey
• High-level synthesis techniques for functional test pattern execution
• Formal Methods for Hardware Verification
• Thread-parallel integrated test pattern generator utilizing satisfiability analysis

Describes a project that uses

Uses Software

• SATIRE

This page was built for publication: High Quality Test Pattern Generation and Boolean Satisfiability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3106263)