TY  - BOOK
AU  - Harry Foster, Adam Krolnik, David Lacey
TI  - Assertion-Based Design
SN  - 978-1-4020-8028-9
PY  - 2005///
CY  - New York
PB  - Springer US
KW  - Circuits and Systems; Electrical Engineering; Computer-Aided Engineering (CAD, CAE) and Design
ER  -