Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
暫譯: 使用LOTOS、Petri網和CCS進行系統與電路的驗證
Michael Yoeli, Rakefet Kol
- 出版商: Wiley
- 出版日期: 2008-03-01
- 定價: $3,228
- 售價: 5.0 折 $1,614
- 語言: 英文
- 頁數: 290
- 裝訂: Hardcover
- ISBN: 0471704490
- ISBN-13: 9780471704492
-
相關分類:
邏輯設計 Logic-design
立即出貨 (庫存=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,440 -
Photoshop CS 鐵的工具書$820$697 -
遊戲程式設計精華 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$298 -
Java 完美經典 (適用 JDK 6.0 版本)$790$672 -
SQL Server 2005 Data Mining 資料採礦與 Office 2007 資料採礦增益集$780$616 -
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$616 -
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$545 -
Microsoft Office PerformancePoint Server 2007 企業績效管理$680$537
商品描述
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。書中涵蓋了模組化非同步電路、交替位元協定、仲裁器、管線控制器、上下計數器和相位轉換器的驗證，以及許多其他驗證範例。
透過提供的詳細範例、練習和易於跟隨的教程，並附有可從參考網站下載的工具集，這本書成為計算機科學和電機工程高年級本科生及研究生課程的理想教材。對於有興趣驗證設計的數位系統是否符合規範和要求的驗證工程師來說，這本書也是一個有價值的桌面參考資料。
