TY  - BOOK
AU  - Levia, Oz Rauillard, Jacques Berge, Jean Michel
TI  - Hardware software co-design and co-verification
SN  - 0-7923-9689-8
U1  - 621.391 HAR'B 
PY  - 1997///
CY  - BOSTON
PB  - KLUWER
ER  -