HITEC

MaRDI QIDQ22041swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=951560

Cited in

(9)

• CirCUs
• HANNIBAL
• SOCRATES
• PASSAT
• scientific article; zbMATH DE number 1594496 (Why is no real title available?)
• Test Pattern Generation using Boolean Proof Engines
• Sequential test generators: past, present and future
• On the role of hardware reset in synchronous sequential circuit test generation
• Formal Methods for Hardware Verification

This page was built for software: HITEC