Michael Yoeli — Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS, краткое содержание
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.
Чтобы оставить свою оценку, войдите или зарегистрируйтесь
📖 О книге «Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS»
«Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS» — произведение автора Michael Yoeli в жанре Программирование . На сайте Книгизм книга доступна для бесплатного скачивания в формате fb2 и для онлайн-чтения полной версии без регистрации.
🏷️ Жанры книги
Произведение «Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS» относится к следующим жанровым направлениям каталога Книгизм:
👥 Похожие авторы в жанре
Если вам понравилась эта книга, обратите внимание на других популярных авторов в жанре «Программирование»:
❓ Часто задаваемые вопросы
Можно ли скачать книгу «Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS» бесплатно?
Да, книга доступна для скачивания в формате fb2 без регистрации и без оплаты на сайте Книгизм. Файл сохраняет структуру глав, иллюстрации и метаданные — подходит для FBReader, Cool Reader, AlReader и других читалок на смартфоне или электронной книге.
Можно ли читать книгу «Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS» онлайн без скачивания?
Да, полная версия произведения автора Michael Yoeli доступна для онлайн-чтения прямо в браузере. Откройте страницу книги, нажмите кнопку «Читать» — текст загрузится с пагинацией, настройкой шрифта, темой оформления и закладкой текущей позиции.
К какому жанру относится «Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS»?
Книга относится к жанру «Программирование».
📲 Как читать книгу на Книгизм
Книга «Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS» автора Michael Yoeli доступна на Книгизм бесплатно. Вы можете скачать файл fb2 для дальнейшего чтения в любой читалке (FBReader, Cool Reader, AlReader и других) на смартфоне, планшете или электронной книге. Формат fb2 сохраняет структуру глав, иллюстрации, оглавление и метаданные. Альтернатива — онлайн-чтение полной версии в браузере сразу без скачивания и без регистрации.