Год издания: 2008
Количество страниц: 166
В продаже с 18.01.2012
Как только книга Robustness and Usability in Modern Design Flows станет доступна для заказа в одном из интернет-магазинов, Вам на e-mail будет отправлено уведомление.Укажите e-mail для связи:
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore today's design flow has to be improved to achieve a higher productivity. In Robustness and Usability in Modern Design Flows the current design methodology and verification methodology are analyzed, a number of deficiencies are identified and solutions suggested. Improvements in the methodology as well as in the underlying algorithms are proposed. An in depth presentation of preliminary concepts makes the book self contained. Based on this foundation major design problems are targeted. In particular, a complete tool flow for Synthesis for Testability of System C descriptions is presented. The resulting circuits are completely testable and test pattern generation in polynomial time is possible. Verification issues are covered in even more detail. A whole new paradigm for formal design verification...