Assertion-based design.

Type:
boek
Titel:
Assertion-based design.
Auteur:
Foster, Harry D.; Krolnik, Adam C.; Lacey, David J.
Jaar:
2004
Taal:
Engels
Uitgever:
New York : Springer, 2004
Paginering:
XXIII, 390 p.
Plaatsnummer:
GKG.LWB.681.39.4 FOST 04 (Graaf Karel de Goedelaan Kortrijk)
ISBN:
1402080271
Samenvatting:
Introduction.- Assertion Methodology.- Specifying the RTL Properties.- PLI-Based Assertions.- Functional Coverage.- Assertion Patterns.- Assertion Cookbook.- Specifying Correct Behavior.- Appendix A: Open Verification Library.- Appendix B: PSL Property Specification Language.- Appendix C: System Verilog Assertions.
Permalink:
http://bibtest.howest.be/catalog/hws01:001928349