Universal Verification Methodology Based Verification Environment, Abhishek Jain
Автор: 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.
Автор: 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.
Автор: 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