Generating Hardware Assertion Checkers
Subtitle: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
By: by Marc Boulé, Zeljko Zilic
Contributors: Zilic, Zeljko; SpringerLink (Online service)
Publisher: Springer Science + Business Media B.V
Published: 2008
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] :
ISBN-13: 9781402085857; 9781402085864
Subjects: Systems engineering; Engineering; Computer science