TG-Pro: A SAT-based ATPG system

MaRDI QIDQ2786909zbMATH OpenFDO

Authors Huan Chen, Joao Marques-Silva

Publication date 23 February 2016

Published in Journal of Satisfiability, Boolean Modeling and Computation (Search for Journal in Brave)

zbMATH Keywords

EDAATPGBoolean SAT

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Test Pattern Generation using Boolean Proof Engines
• High Quality Test Pattern Generation and Boolean Satisfiability
• scientific article; zbMATH DE number 5605058
• scientific article; zbMATH DE number 177505
• BerkMin: A fast and robust SAT-solver

Cited in

(6)

• Implementing efficient All solutions SAT solvers
• Formal Methods for Hardware Verification
• Why RTL ATPG?
• A novel RTL behavioral description based ATPG method
• Test Pattern Generation using Boolean Proof Engines
• Dualization of Boolean functions using ternary decision diagrams

This page was built for publication: TG-Pro: A SAT-based ATPG system

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