Картотека книг » Поиск по коду » Книги с ISBN13 9783659498879
На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.
Книга ISBN13 9783659498879 - Optimizing Assertion Sets Using Logic Synthesis Techniques (Danny Sarraf) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением
Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.
Где купить эту книгу?
Интернет-магазиныНазвание: Optimizing Assertion Sets Using Logic Synthesis Techniques
The result looked at first as unexpected, however, an attentive reflection reveals that in a formal verification setting, adding more dependencies to an assertion reduces the number of states that the formal verification tool needs to explore in order to prove whether the assertion is true or false. This also explains why the merged Karnaugh maps did exceptionally well while the heuristics test did poorly in comparison. In a formal setting, merging Karnaugh maps allowed IFV to prove the assertion set 4 times faster than the initial non-optimized set of non-redundant assertions.
Авторы: Danny Sarraf
Издательство: LAP Lambert Academic Publishing
Год: 2013
Местонахождение: OZON.ru
ISBN: 9783659498879
Поиск по сайту
Новости
10 января 2015 года: Запуск базы ISBN10 и ISBN13Запущена база данных ISBN и технический каталог кодов.
2015 - books.kartoteka.net
e-mail: books@kartoteka.net
e-mail: books@kartoteka.net