Эта книга является практическим руководством по формальной верификации цифровых систем и схем. Она предлагает теоретическую базу и вводит в применение трех мощных инструментариев верификации: основанного на LOTOS CADP, основанного на сетях Петри PETRIFY и основанного на CCS CWB. В книге рассматривается верификация модульных асинхронных схем, протоколов с чередующимися битами, арбитров, контроллеров конвейеров, счетчиков вверх-вниз и фазовых преобразователей, а также многих других примеров верификации. С помощью приведенных подробных примеров, упражнений и легко следуемых учебных пособий, включая загружаемые инструменты, доступные через ссылки на веб-сайтах, эта книга служит идеальным учебным пособием для студентов старших курсов бакалавриата и магистратуры в области компьютерных наук и электротехники. Она также ценна как настольная справочная книга для практикующих инженеров по верификации, которые заинтересованы в проверке того, соответствуют ли разработанные цифровые системы спецификациям и требованиям.
Verification of Systems and FPGAs using LOTOS" by Michael YoeliThis book provides an up-to-date step-by step guide to using LOTOS and Engel haslow for verifying systems. He starts off with an overview of the verification process before introducing the reader to various aspects of each tools. Once you have grasped the basics, you will be taken through various examples to show students how to use the toolkits. The author then goes on to introduce some of the more advanced features that make the workflow easier.Whether you're a beginner or an experienced engineer looking to expand your knowledge, this book will be beneficial in your quest for successfully verifying your designs.
Электронная Книга «Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS» написана автором Michael Yoeli в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9780470253397
Описание книги от Michael Yoeli
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.
