Boulé, Marc.
Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring / [electronic resource] : by Marc Boulé, Zeljko Zilic. - Dordrecht : Springer Netherlands, 2008. - digital.
9781402085864
10.1007/978-1-4020-8586-4 doi
Engineering.
Computer science.
Systems engineering.
Engineering.
Circuits and Systems.
Programming Languages, Compilers, Interpreters.
TK7888.4
621.3815
Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring / [electronic resource] : by Marc Boulé, Zeljko Zilic. - Dordrecht : Springer Netherlands, 2008. - digital.
9781402085864
10.1007/978-1-4020-8586-4 doi
Engineering.
Computer science.
Systems engineering.
Engineering.
Circuits and Systems.
Programming Languages, Compilers, Interpreters.
TK7888.4
621.3815