|
|
libcats.org
Advanced Verification Techniques: A Systemc Based Approach for Successful TapeoutSingh L., Drucker L., Khann N."As chip size and complexity continues to grow exponentially, the challenges of functional verification are becoming a critical issue in the electronics industry. It is now commonly heard that logical errors missed during functional verification are the most common cause of chip re-spins, and that the costs associated with functional verification are now outweighing the costs of chip design. To cope with these challenges engineers are increasingly relying on new design and verification methodologies and languages. Transaction-based design and verification, constrained random stimulus generation, functional coverage analysis, and assertion-based verification are all techniques that advanced design and verification teams routinely use today. Engineers are also increasingly turning to design and verification models based on C/C++ and SystemC in order to build more abstract, higher performance hardware and software models and to escape the limitations of RTL HDLs. This new book, Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout, provides specific guidance for these advanced verification techniques, Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout includes realistic examples and shows how SystemC and SCV can be applied to a variety of advanced design and verification tasks.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Военный дневникАвтор: Романов Андрей ВладимировичКатегория: Документальная литература
Размер книги: 169 Kb
Использование информационно-коммуникационных технологии для организации и проведения проектной деятельности при обучении иностранному языку: Учебно-методический комплекс дисциплиныАвтор: Львова О.В.Категория: Народное образование. Педагогика
Размер книги: 232 Kb
Topological Methods in Modern Mathematics: A Symposium in Honor of John Milnor's Sixtieth BirthdayАвтор: Lisa R. GoldbergКатегория: Математика, Геометрия и топология
Размер книги: 3.74 Mb
State, society, and law in Islam: Ottoman law in comparative perspectiveАвтор: Haim Gerber
Размер книги: 451 Kb
|
|
|