|
|
libcats.org
Formal Verification: For Digital Circuit DesignDouglas Perry, Harry FosterIntended for hardware design engineers, this book introduces general verification techniques, compares them with formal verification techniques, and provides instructions for creating formal high level requirement. The authors discuss formal verification concepts for both applied Boolean and sequential verification, formal property checking, the process of creating a formal test plan, and state reduction techniques. The appendices list commonly used PSL statements for high level requirements and similar requirements specified in System Verilog syntax.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
000 - WILEY ENCYCLOPEDIA OF ELECTRICAL AND ELECTRONICS ENGINEERINGАвтор: John G. Webster
Размер книги: 2.31 Mb
Integration and Innovation Orient to E-Society, Vol. 1Автор: Wang W., Автор: Li Y., Автор: Duan Z.
Размер книги: 4.52 Mb
British Cinema in the 1950's: a celebrationАвтор: Ian MacKillop, Автор: Neil SinyardКатегория: Искусство, Кинематография
Размер книги: 1.53 Mb
|
|
|