Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Michael Yoeli, Rakefet Kol

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

商品描述

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。書中涵蓋了模塊化異步電路、交替位協議、仲裁器、流水線控制器、上下計數器和相位轉換器等的驗證,還包括許多其他驗證示例。

通過提供的詳細示例、練習和易於理解的教程,並附帶可通過參考網站下載的工具集,本書適合作為計算機科學和電氣工程高年級本科生和研究生課程的理想教材。對於希望驗證設計的數位系統是否符合規格和要求的驗證工程師來說,本書也是一本寶貴的桌面參考書。