info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

SVA: The Power of Assertions in SystemVerilog

Език Английски езикАнглийски език
Книга С твърди корици
Книга SVA: The Power of Assertions in SystemVerilog Eduard Cerny
Код Либристо: 02667801
Издателство Springer International Publishing AG, август 2014
This book serves as a comprehensive guide, enabling readers to reap the full benefits of assertion-b... Цялото описание
? points 575 b
456 лв
Външен склад в ограничено количество Изпращаме след 12-17 дни

30 дни за връщане на стоката

Може би ще Ви заинтересува

TOP
Hound of the Baskervilles Arthur Conan Doyle / С меки корици
common.buy 24 лв
Tissue culture as a plant production system for horticultural crops Richard H. Zimmerman / С твърди корици
common.buy 556 лв
Glucose Intake and Utilization in Pre-Diabetes and Diabetes Ronald Watson / С твърди корици
common.buy 314 лв
Essays zur Toleranz und Wahrheit in den Weltreligionen Gustav Mensching / С твърди корици
common.buy 128 лв
London Charles Knight / С меки корици
common.buy 179 лв
ПОДГОТВЯМЕ
History of Ottoman Poetry Volume IV E J W Gibb / С меки корици
common.buy 71 лв
Preacher Sander Jakobsen / С меки корици
common.buy 19 лв
Commodification of Childhood Daniel Thomas Cook / С твърди корици
common.buy 310 лв
Tuff, Seine Entstehung Und Konstitution Und Seine Verwendung Im Baugewerbe Im Spiegel Der Literatur Hans-Ernst Schwiete / С меки корици
common.buy 155 лв
Health Policy and the Disadvantaged Lawrence D. Brown / С меки корици
common.buy 69 лв
Synchronisation einer Sitcom Martin Thauer / С меки корици
common.buy 144 лв
Fremde Wolfgang Hachtel / С меки корици
common.buy 48 лв
Agitating Images Craig Campbell / С меки корици
common.buy 65 лв
Unmanned Aerial Vehicles David Glade / С меки корици
common.buy 40 лв
In Laban's Field Norm Sibum / С меки корици
common.buy 39 лв
Co-operative Canada / С твърди корици
common.buy 228 лв

This book serves as a comprehensive guide, enabling readers to reap the full benefits of assertion-based verification, thereby minimizing hardware verification cost. Detailed descriptions of the SystemVerilog Assertions (SVA) language features are provided throughout the book, along with step-by-step examples of how they can be used to construct powerful sets of property checkers. This second edition includes a description of features introduced by the recent IEEE 1800-2012 SystemVerilog standard, explaining in detail the enhanced assertion constructs of the language, making it usable and accessible for designers, verification engineers, and EDA tool developers.

Информация за книгата

Пълно заглавие SVA: The Power of Assertions in SystemVerilog
Автор Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2014
Брой страници 590
Баркод 9783319071381
ISBN 3319071386
Код Либристо 02667801
Издателство Springer International Publishing AG
Тегло 1050
Размери 163 x 242 x 38

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo