621.3815 / B664g
Boule, Marc
Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring / Marc Boule and Zeljko Zilic .- U.K.: Springer Science+Business Media, 2008 .- xx, 279p. .
ISBN: 9781402085857
Subject Headings:
Integrated circuits;
Author Added Entry:
Zilic, Zeljko;
Copy Details:
Acc. No.: A162424, Full Call No.: 621.3815 B664g, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Boule, Marc
Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring / Marc Boule and Zeljko Zilic .- U.K.: Springer Science+Business Media, 2008 .- xx, 279p. .
ISBN: 9781402085857
Subject Headings:
Integrated circuits;
Author Added Entry:
Zilic, Zeljko;
Copy Details:
Acc. No.: A162424, Full Call No.: 621.3815 B664g, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------