Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
Boule, Marc.
Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring / [electronic resource] : by Marc Boule, Zeljko Zilic. - Dordrecht : Springer Science + Business Media B.V, 2008. - 280 p. : ill., digital ; 24 cm.
9781402085864 (electronic bk.) 9781402085857 (paper)
Online data processing.
Integrated circuits--Verification.
TK7874.75 / .F67 1997
621.395
Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring / [electronic resource] : by Marc Boule, Zeljko Zilic. - Dordrecht : Springer Science + Business Media B.V, 2008. - 280 p. : ill., digital ; 24 cm.
9781402085864 (electronic bk.) 9781402085857 (paper)
Online data processing.
Integrated circuits--Verification.
TK7874.75 / .F67 1997
621.395
