PASSAT

swMATH10074MaRDI QIDQ22043FDOQ22043

Author name not available (Why is that?)

Official website: doi:10.1109/ISVLSI.2005.55

Cited In (8)

• Formal Methods for Hardware Verification
• Test Pattern Generation using Boolean Proof Engines
• SATORI
• HANNIBAL
• HITEC
• Pinapa
• SOCRATES
• Robustness and usability in modern design flows

This page was built for software: PASSAT