Applied Formal Verification
暫譯: 應用形式驗證
Douglas L. Perry, Harry Foster
- 出版商: McGraw-Hill Education
- 出版日期: 2005-05-01
- 售價: $5,270
- 貴賓價: 9.5 折 $5,007
- 語言: 英文
- 頁數: 240
- 裝訂: Hardcover
- ISBN: 007144372X
- ISBN-13: 9780071443722
-
相關分類:
邏輯設計 Logic-design
海外代購書籍(需單獨結帳)
買這商品的人也買了...
-
Computational Complexity (Paperback)$1,100$1,078 -
資料結構－使用 C++ (Fundamentals of Data Structures in C++)$520$411 -
Computer Vision$1,150$1,127 -
XML 網頁製作徹底研究(第二版)$650$553 -
Artificial Intelligence: A Modern Approach, 2/e$1,100$1,078 -
專業ASP.NET XML 程式設計使用C# (Professional ASP.NET 1.0 XML with C#)$490$387 -
電子化策略與經營模式 (Internet Business Models and Strategies, 2/e)$580$568 -
Windows 程式設計 (Programming Windows, 5/e)$990$782 -
Windows Server 2003 網路管理篇$640$506 -
SolidWorks 2004 原廠教育訓練手冊$149$149 -
組合語言 (Assembly Language for Intel-Based Computers, 4/e)$680$612 -
Computer Organization and Design: The Hardware/Software Interface, 3/e(IE) (美國版ISBN:1558606041)$1,200$1,176 -
ARM 韌體教戰手冊：使用NET-Start! Lite & ADS$680$578 -
Photoshop 設計師聖經─遮罩‧合成篇 (Photoshop Masking & Compositing)$980$833 -
Java 2 全方位學習(J2SE 5.0 增修版)$750$593 -
CCNA 認證教戰手冊 (CCNA: Cisco Certified Network Associate Study Guide, 5/e)(Exam 640-801)$820$697 -
實戰 Pro/ENGINEER Wildfire 2.0 基礎入門(上)$550$468 -
架設我的部落格王國－plog 建構網誌與像簿$420$328 -
計算機組織與設計 (Computer Organization and Design: The Hardware/Software Interface, 3/e)$680$646 -
最新詳解 Javascript & HTML & CSS 語法辭典(增訂新版)$490$382 -
VoIP 網路電話技術$350$277 -
真‧PHP 5 技術手冊 (PHP 5 Unleashed)
$680$578 -
精通 Spring Framework
$580$452 -
Network Systems Design Using Network Processors: Intel 2XXX Version, 2/e$3,130$2,974 -
$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
商品描述(中文翻譯)
```
目錄：
前言
第 1 章：驗證簡介
第 2 章：驗證流程
第 3 章：當前驗證技術
第 4 章：形式技術簡介
第 5 章：形式基礎與定義
第 6 章：屬性規範
第 7 章：形式測試計畫流程
第 8 章：證明屬性的技術
第 9 章：最終系統模擬
附錄 A：IEEE 1850 PSL 屬性規範語言
附錄 B：IEEE 1800 SystemVerilog 斷言
參考文獻
索引
```
