Applied formal verification.

Type:
boek
Titel:
Applied formal verification.
Auteur:
Perry, Douglas L.; Foster, Harry D.
Jaar:
2005
Taal:
Engels
Uitgever:
New York : McGraw-Hill, 2005
Paginering:
XIV, 237 p. : ill.
Plaatsnummer:
GKG.LWB.621.39 PERR 05 (Graaf Karel de Goedelaan Kortrijk)
ISBN:
007144372X
Onderwerp:
Digitale elektronica
Geïntegreerde schakelingen
Logische schakelingen
Samenvatting:
PREFACE Chapter 1: Introduction to Verification Chapter 2: Verification Process Chapter 3: Current Verification Techniques Chapter 4: Introduction to Formal Techniques Chapter 5: Formal Basics and Definitions Chapter 6: Property Specification Chapter 7: The Formal Test Plan Process Chapter 8: Techniques for Proving Properties Chapter 9: Final System Simulation APPENDIX A: IEEE 1850 PSL PROPERTY SPECIFICATION LANGUAGE APPENDIX B: IEEE 1800 SYSTEM VERILOG ASSERTIONS BIBLIOGRAPHY INDEX
Permalink:
http://bibtest.howest.be/catalog/hws01:001927336