Applied formal verification.
- Format:
- book
- Title:
- Applied formal verification.
- Year:
- 2005
- Language:
- English
- Publisher:
- New York : McGraw-Hill, 2005
- Description:
- XIV, 237 p. : ill.
- Call number:
- PENTA.663.43 PERR 05 (PENTA)
- ISBN:
- 007144372X
- Subject:
- Digitale elektronica
Geïntegreerde schakelingen
Logische schakelingen - Summary:
- 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?locale=en
