621.3815 / F955v
Fujita, Masahiro, Ghosh, Indradeep
Verification techniques for system-level design / .- Amsterdam: Elsevier, 2008 .- viii, 240p. . .- ( The Morgan Kaufmann Series In Systems On Silicon
ISBN: 9780123706164
Subject Headings:
System On A Chip -- Testing. 2.Integrated Circuits -- Verification. 3.Formal Method (Computer Science);
Author Added Entry:
Prasad, Mukul;
Copy Details:
Acc. No.: A160090, Full Call No.: 621.3815 F955v, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Fujita, Masahiro, Ghosh, Indradeep
Verification techniques for system-level design / .- Amsterdam: Elsevier, 2008 .- viii, 240p. . .- ( The Morgan Kaufmann Series In Systems On Silicon
ISBN: 9780123706164
Subject Headings:
System On A Chip -- Testing. 2.Integrated Circuits -- Verification. 3.Formal Method (Computer Science);
Author Added Entry:
Prasad, Mukul;
Copy Details:
Acc. No.: A160090, Full Call No.: 621.3815 F955v, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------