Applied Formal Verification

Douglas L. Perry, Harry Foster

  • 出版商: McGraw-Hill Education
  • 出版日期: 2005-05-01
  • 售價: $4,720
  • 貴賓價: 9.5$4,484
  • 語言: 英文
  • 頁數: 240
  • 裝訂: Hardcover
  • ISBN: 007144372X
  • ISBN-13: 9780071443722
  • 海外代購書籍(需單獨結帳)

買這商品的人也買了...

商品描述

Table of Contents:

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