Assertion-Based Design
Adam C. Krolnik, David J. Lacey, Harry D. Foster
Kluwer Academic Publishers, 2003
100,95 €On orderDelivery: 2-3 weeks
The focus of this volume is three-fold: how to specify assertions; how to create and adopt a methodology that supports assertion-based design (predominately for RTL design); and what to do with the assertions and methodology once you have them.
- ISBN-13
- 9781402074981
- ISBN-10
- 1402074980
- Publisher
- Kluwer Academic Publishers
- Year
- 2003
- Publication date
- 2003-06-30
- Pages
- 392
- Dimensions
- 235x155x
- Weight
- 785