Bemærk: Kan ikke leveres før jul.
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.