Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Michael Yoeli, Rakefet Kol
- 出版商: Wiley
- 出版日期: 2008-03-01
- 定價: $3,228
- 售價: 5.0 折 $1,614
- 語言: 英文
- 頁數: 290
- 裝訂: Hardcover
- ISBN: 0471704490
- ISBN-13: 9780471704492
-
相關分類:
電子學 Eletronics、Computer-networks、電路學 Electric-circuits
立即出貨 (庫存=1)
買這商品的人也買了...
-
名題精選百則：使用 C 語言─技巧篇, 2/e$550$523 -
C 與 8051 單晶片韌體設計基礎篇--使用 Keil C$690$545 -
Tricks of the 3D Game Programming Gurus-Advanced 3D Graphics and Rasterization (Paperback)$2,490$2,366 -
Photoshop CS 鐵的工具書$820$738 -
遊戲程式設計精華 1 (Game Programming Gems I)$750$593 -
Computer Systems: A Programmer's Perspective (平裝)$1,180$1,156 -
TQC 2003 企業用才電腦實力評核─辦公軟體應用篇$400$316 -
Linux 驅動程式, 3/e (Linux Device Drivers, 3/e)$980$774 -
Ajax 與 .NET 2.0 深度整合應用 (Pro Ajax and the .NET 2.0 Platform)
$590$460 -
聖殿祭司的 ASP.NET 2.0 專家技術手冊─使用 C#, 2/e$720$569 -
使用 Microsoft Visual Studio 2005 Team System (Working with Microsoft Visual Studio 2005 Team System)$520$406 -
寫給 SA 的 UML/MDA 實務手冊$350$315 -
Java 完美經典 (適用 JDK 6.0 版本)$790$711 -
SQL Server 2005 Data Mining 資料採礦與 Office 2007 資料採礦增益集$780$663 -
C++ Primer, 4/e (中文版)$990$891 -
深入淺出 PMP (Head First PMP)$880$695 -
軟體建構之道 (Code Complete, 2/e)$1,200$1,020 -
Microsoft SQL Server 2005 設計商業智慧解決方案 (MCTS Self-Paced Training Kit (Exam 70-445): Microsoft SQL Server 2005 Business Intelligence Implementation and Maintenance)$780$663 -
CCNA 認證教戰手冊 (CCNA: Cisco Certified Network Associate Study Guide (Exam 640-802), 6/e)$1,180$1,003 -
Towards 4G Technologies: Services with Initiative$1,560$1,529 -
美麗程式－頂尖程式設計師的思考方式 (Beautiful Code: Leading Programmers Explain How They Think)$780$663 -
重構－向範式前進 (Refactoring to Patterns)$750$593 -
深入淺出 C# (Head First C#)$980$774 -
Microsoft BizTalk Server 2006 R2 商業流程管理$690$587 -
Microsoft Office PerformancePoint Server 2007 企業績效管理$680$578
相關主題
商品描述
A Step-by-Step Guide to Verification of Digital Systems
This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets–based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples.
Using the given detailed examples, exercises, and easy-to-follow tutorials, complete with the downloadable toolsets available via referenced Web sites, this book serves as an ideal text in advanced undergraduate and graduate courses in computer science and electrical engineering. It is also valuable as a desktop reference for practicing verification engineers who are interested in verifying that designed digital systems meet specifications and requirements.
商品描述(中文翻譯)
《數位系統驗證逐步指南》
這本實用書籍提供了一個逐步、互動式的介紹，教導如何對系統和電路進行形式驗證。書中提供了理論背景，並介紹了三種強大的驗證工具集：基於LOTOS的CADP、基於Petri網路的PETRIFY，以及基於CCS的CWB。書中涵蓋了模塊化異步電路、交替位協議、仲裁器、流水線控制器、上下計數器和相位轉換器等的驗證，還包括許多其他驗證示例。
通過提供的詳細示例、練習和易於理解的教程，並附帶可通過參考網站下載的工具集，本書適合作為計算機科學和電氣工程高年級本科生和研究生課程的理想教材。對於希望驗證設計的數位系統是否符合規格和要求的驗證工程師來說，本書也是一本寶貴的桌面參考書。
