Related Books

The e Hardware Verification Language
Language: en
Pages: 352
Authors: Sasan Iman
Categories: Computers
Type: BOOK - Published: 2007-05-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

I am glad to see this new book on the e language and on verification. I am especially glad to see a description of the e Reuse Methodology (eRM). The main goal
The e Hardware Verification Language
Language: en
Pages: 352
Authors: Sasan Iman
Categories: Computers
Type: BOOK - Published: 2004-05-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

I am glad to see this new book on the e language and on verification. I am especially glad to see a description of the e Reuse Methodology (eRM). The main goal
Hardware Verification with C++
Language: en
Pages: 351
Authors: Mike Mintz
Categories: Technology & Engineering
Type: BOOK - Published: 2006-12-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verificat
Design Verification with E
Language: en
Pages: 418
Authors: Samir Palnitkar
Categories: Computers
Type: BOOK - Published: 2004 - Publisher: Prentice Hall Professional

DOWNLOAD EBOOK

As part of the Modern Semiconductor Design series, this book details a broad range of e-based topics including modelling, constraint-driven test generation, fun
Hardware Verification with System Verilog
Language: en
Pages: 324
Authors: Mike Mintz
Categories: Technology & Engineering
Type: BOOK - Published: 2007-05-03 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning to. However, no language by itself ca