Поиск
На сайте: 567989 статей, 285490 фото.

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…»

Рецензии

См. также

Ссылки