Verification Techniques for System-Level Design.

A must-read in formal and semi-formal verification!

Saved in:

Bibliographic Details
Main Author:	Fujita, Masahiro
Other Authors:	Ghosh, Indradeep, Prasad, Mukul
Format:	eBook
Language:	English
Published:	Burlington : Elsevier, 2007.
Series:	Morgan Kaufmann series in systems on silicon.
Subjects:	Systems on a chip > Testing. Integrated circuits > Verification. Formal methods (Computer science) Integrated circuits > Verification
Online Access:	Click for online access

Description
Summary:	A must-read in formal and semi-formal verification!
Physical Description:	1 online resource (251 pages)
ISBN:	9780080553139 0080553133
Source of Description, Etc. Note:	Print version record.

Similar Items