Assertion-Based Design /

The focus of Assertion-Based Design is three-fold: *How to specify assertions; *How to create and adopt a methodology that supports assertion-based design (predominately for RTL design); *What to do with the assertions and methodology once you have them. To support these three over-arching goals, th...

Full description

Bibliographic Details

Main Author:	Foster, Harry
Corporate Author:	SpringerLink (Online service)
Other Authors:	Krolnik, Adam, Lacey, David (David J.)
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2003.
Subjects:	Engineering. Computer-aided design. Computer engineering. Systems engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book