Books listed by ISBN
>
Springer
> Marc Boulé
Marc Boulé
M B
·
marc b.
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
978-1-4O2O-8585-7
(1-4O2O-8585-O)
2008
Zeljko Zilic
Marc Boulet