Эта книга является практическим руководством по формальной верификации цифровых систем и схем. Она предлагает теоретическую базу и вводит в применение трех мощных инструментариев верификации: основанного на 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.
#зарубежная компьютерная литература
#программирование
