The art of verification with Vera / Faisal Haque ; Khizar A. Khan ; Jonathan Michelson.
Saved in:
Table of Contents |
|
Personal Name(s): | Haque, Faisal. |
Khan, Khizar A. / Michelson, Jonathan. | |
Imprint: |
Fremont, Calif. :
Verification Central,
2001.
|
Physical Description: |
XXIV, 452 S. |
Note: |
englisch |
ISBN: |
097119940X 9780971199408 |
Keywords: |
ASIC revision |
Subject (ZB): | |
Classification: | |
Shelf Classification: |
LEADER | 01141cam a2200325 n 4500 | ||
---|---|---|---|
001 | 226278 | ||
005 | 20080729160900.0 | ||
008 | r2001 | ||
020 | |a 097119940X | ||
035 | |a (Sirsi) a176956 | ||
084 | 0 | |a DHA - Computer equipment and periphery |2 ZB | |
084 | 1 | |a DHA - Computerbauteile und -peripherie |2 LS | |
245 | 0 | 4 | |a The art of verification with Vera / |c Faisal Haque ; Khizar A. Khan ; Jonathan Michelson. |
260 | |a Fremont, Calif. : |b Verification Central, |c 2001. | ||
300 | |a XXIV, 452 S. | ||
500 | |a englisch | ||
596 | |a 1 | ||
650 | 4 | |a hardware | |
650 | 4 | |a debugging system | |
650 | 4 | |a silicon device | |
653 | |a ASIC | ||
653 | |a revision | ||
700 | 1 | |a Haque, Faisal. | |
700 | 1 | |a Khan, Khizar A. | |
700 | 1 | |a Michelson, Jonathan. | |
856 | |u http://wwwzb.fz-juelich.de/contentenrichment/inhaltsverzeichnisse/bis2009/ISBN-0-9711994-0-X.pdf |z Inhaltsverzeichnis | ||
900 | |a DHA 003 | ||
900 | |a B 092994'01' | ||
908 | |a Monographie, Sammelwerk | ||
949 | |a DHA 003 |w LC |c 1 |i 1208101182 |d 29/7/2008 |e 24/7/2008 |l STACKS |m ZB |n 2 |p €89.43 |r Y |s Y |t ZBB |u 25/3/2009 |x ZB-D |z KM_07 |1 PRINT |