Applied formal verification.
- Type:
- boek
- Titel:
- Applied formal verification.
- Jaar:
- 2005
- Taal:
- Engels
- Uitgever:
- New York : McGraw-Hill, 2005
- Paginering:
- XIV, 237 p. : ill.
- Plaatsnummer:
- PENTA.663.43 PERR 05 (PENTA)
- 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
