Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Universal Verification Methodology Based Verification Environment, Abhishek Jain


Варианты приобретения
Цена: 36760.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 216 шт.  
При оформлении заказа до:
Ориентировочная дата поставки:
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Abhishek Jain
Название:  Universal Verification Methodology Based Verification Environment
ISBN: 9783659476044
Издательство: LAP LAMBERT Academic Publishing
Классификация:
ISBN-10: 3659476048
Обложка/Формат: Paperback
Страницы: 140
Вес: 0.21 кг.
Дата издания: 19.01.2014
Серия: transaction level modeling, SystemVerilog, Universal Verification Methodology (UVM), Register interface, Universal Verification Component (UVC), Register and memory model, IP-XACT, Virtual Register Interface (VRI), Reference model, Assertion Based VI
Язык: English
Иллюстрации: Black & white illustrations
Размер: 229 x 152 x 8
Читательская аудитория: General (us: trade)
Рейтинг:
Описание: Ever increasing silicon design complexity and transistor density, product differentiation and time to market are major factors creating huge pressure on complete design flow. This book covers Verification phase by describing the concepts of Universal Verification Methodology (UVM) and by presenting a pragmatic approach of developing efficient and unified advanced verification environment at all levels using Universal Verification Methodology along with Assertion based verification, hardware acceleration and Transaction Level Modeling. This book is written primarily for verification engineers performing verification of complex IP blocks or entire system-on-chip (SoC) designs. However, much of material will also be of interest to SoC project managers as well as designers to learn more about verification. Furthermore, this book includes detailed information about verification environment for one case which can be easily used as reference for other cases.

Verification Methodology Manual for SystemVerilog

Автор: Bergeron
Название: Verification Methodology Manual for SystemVerilog
ISBN: 0387255389 ISBN-13(EAN): 9780387255385
Издательство: Springer
Рейтинг:
Цена: 174150.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: SystemVerilog is a unified language that serves both design and verification engineers by including RTL design constructs, assertions and a rich set of verification constructs. This book is based upon best verification practices by ARM, Synopsys and their customers. It is useful for those involved in the design or verification of a complex chip.

The Audit Society: Rituals of Verification

Автор: Power, Michael
Название: The Audit Society: Rituals of Verification
ISBN: 0198296037 ISBN-13(EAN): 9780198296034
Издательство: Oxford Academ
Рейтинг:
Цена: 54910.00 T
Наличие на складе: Поставка под заказ.
Описание: Offers a systematic exploration of audit as a principle of social organization and control. This book examines the reasons, means, and consequences of the audit explosion. It raises questions about the efficacy of audit processes, suggests that the consequences of this must be evaluated, and contrasts these theories and practices of Trust.

SAT-Based Scalable Formal Verification Solutions

Автор: Malay Ganai; Aarti Gupta
Название: SAT-Based Scalable Formal Verification Solutions
ISBN: 1441943412 ISBN-13(EAN): 9781441943415
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия