9781402080272 | 2 edition (Kluwer Academic Pub, June 30, 2004), cover price $169.00 |
About this edition: The focus of Assertion-Based Design, Second Edition 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.
9781402074981 | 2 edition (Kluwer Academic Pub, May 1, 2003), cover price $130.00 |
About this edition: 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.