Applied Formal Verification
Douglas L. Perry, Harry Foster
- 出版商: McGraw-Hill Education
- 出版日期: 2005-05-01
- 售價: $4,360
- 貴賓價: 9.5 折 $4,142
- 語言: 英文
- 頁數: 240
- 裝訂: Hardcover
- ISBN: 007144372X
- ISBN-13: 9780071443722
海外代購書籍(需單獨結帳)
買這商品的人也買了...
-
$1,100$1,078 -
$520$411 -
$1,127Computer Vision
-
$650$553 -
$1,100$1,078 -
$490$387 -
$580$568 -
$990$782 -
$640$506 -
$149$149 -
$680$612 -
$1,176Computer Organization and Design: The Hardware/Software Interface, 3/e(IE) (美國版ISBN:1558606041)
-
$680$578 -
$980$882 -
$750$593 -
$820$697 -
$550$435 -
$420$328 -
$680$646 -
$490$382 -
$350$277 -
$680$612 -
$580$452 -
$3,270$3,107 -
$1,320TSP-Leading a Development Team
相關主題
商品描述
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