Formal Equivalence Checking and Design Debugging (книга)
| Formal Equivalence Checking and Design Debugging | |
| Автор: | Shi-Yu Huang Kwang-Ting Cheng |
|---|---|
| Оригинал издан: | ???? |
«Formal Equivalence Checking and Design Debugging» — книга ???? года.
Содержание |
Содержание 
От издателя
«Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging. The first part of the book reviews the design problems that require logic equivalence checking and…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
