Картотека книг » Поиск по коду » Книги с ISBN13 9783659355707
На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.
Книга ISBN13 9783659355707 - Verification and Error Correction on High-Level Decision Diagrams (Anton Karputkin) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением
Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.
Где купить эту книгу?
Интернет-магазиныНазвание: Verification and Error Correction on High-Level Decision Diagrams
This book explores the theory of High-Level Decision Diagrams in application to formal verification and design error correction. We start with methods for synthesizing the diagrams for representing digital systems at higher behavioral, functional or register-transfer levels. The synthesized HLDDs can be used for high-level verification of digital systems. For this purpose, the HLDD model is appended by characteristic polynomials that canonically describe the graph structure of a diagram. These polynomials can be used for proving the equivalence between two HLDDs which have the same functionality but may have different structures. As soon as an error has been detected by the proposed approach, it must be localized and fixed. The described method is developed further to be applied to automated correction of design errors. We show how realistic design errors can be represented by the redirection-based fault model. The theoretical basis of the approach is presented with the key...
Авторы: Anton Karputkin
Издательство: LAP Lambert Academic Publishing
Год: 2013
Местонахождение: OZON.ru
ISBN: 9783659355707
Поиск по сайту
Новости
10 января 2015 года: Запуск базы ISBN10 и ISBN13Запущена база данных ISBN и технический каталог кодов.
2015 - books.kartoteka.net
e-mail: books@kartoteka.net
e-mail: books@kartoteka.net