Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular. It relates constrained verification with the also-hot technology called assertion-based design. Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.

254 pages, 72 black & white illustrations, biography

Media	Böcker Pocketbok (Bok med mjukt omslag och limmad rygg)
Releasedatum	29 oktober 2010
ISBN13	9781441938527
Utgivare	Springer-Verlag New York Inc.
Antal sidor	254
Mått	155 × 235 × 14 mm · 376 g
Språk	Engelska