scientific article; zbMATH DE number 177505

zbMATH Open0767.94027MaRDI QIDQ4037375FDOQ4037375

Authors:

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 2102723
• Test Pattern Generation using Boolean Proof Engines
• Model checking: a hardware design perspective
• scientific article; zbMATH DE number 910719
• scientific article; zbMATH DE number 1191738

zbMATH Keywords

graph theorymodel checkingcircuitATPG for sequential devices

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• TG-Pro: A SAT-based ATPG system
• Title not available (Why is that?)
• Test Pattern Generation using Boolean Proof Engines
• Title not available (Why is that?)

This page was built for publication:

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