621.395 / B461s
Bertacco, Valeria
Scalable hardware verification with symbolic simulation / Valeria Bertacco .- New York: Springer, 2006 .- xx, 177p .
ISBN: 9780387244112
Subject Headings:
Integrated circuits -- Verification -- Simulation methods;
System design -- Simulation methods;
Copy Details:
Acc. No.: A174766, Full Call No.: 621.395 B461s, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Bertacco, Valeria
Scalable hardware verification with symbolic simulation / Valeria Bertacco .- New York: Springer, 2006 .- xx, 177p .
ISBN: 9780387244112
Subject Headings:
Integrated circuits -- Verification -- Simulation methods;
System design -- Simulation methods;
Copy Details:
Acc. No.: A174766, Full Call No.: 621.395 B461s, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------