HITEC

swMATH10072MaRDI QIDQ22041FDOQ22041

Author name not available (Why is that?)

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

Cited In (8)

• On the role of hardware reset in synchronous sequential circuit test generation
• Formal Methods for Hardware Verification
• Title not available (Why is that?)
• Test Pattern Generation using Boolean Proof Engines
• HANNIBAL
• PASSAT
• SOCRATES
• Sequential test generators: past, present and future

This page was built for software: HITEC