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

GET 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

GET 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
Verification Plans
Language: en
Pages: 264
Authors: Peet James
Categories: Computers
Type: BOOK - Published: 2003-10-31 - Publisher: Springer Science & Business Media

GET EBOOK

The task of verification is always larger than the task of the design effort. Why? Because the verification system has to encompass the entire functionality of
Aspect-Oriented Programming with the e Verification Language
Language: en
Pages: 265
Authors: David Robinson
Categories: Computers
Type: BOOK - Published: 2010-07-28 - Publisher: Morgan Kaufmann

GET EBOOK

What's this AOP thing anyway, really—when you get right down to it—and can someone please explain what an aspect actually is?Aspect-Oriented Programming wit
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

GET 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