Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Practical Design Verification

Name: Practical Design Verification
Brand: Cambridge University Press
SKU: 02047589
Price: 163.27 EUR
Availability: InStock
Author: Dhiraj K. PradhanIan G. Harris
ISBN: 9780521859721

Dhiraj K. PradhanIan G. Harris

Език

Английски език

Книга С твърди корици

Код Либристо: 02047589

Издателство Cambridge University Press, юни 2009

Improve design efficiency and reduce costs with this practical guide to formal and simulation-based... Цялото описание

Код Либристо: 02047589

397 b

163.27 €

319.32 лв

Външен склад Изпращаме след 10-16 дни

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

Клиентите са закупили също

Cours élémentaire de géologie, à l'usage de l'enseignement secondaire. 7e édition Jules Gosselet

С меки корици

26.94 € 52.69 лв

Excel (versions 2024 et Microsoft 365) RIGOLLET

С меки корици

31.57 € 61.74 лв

Ange movie Durand

С меки корици

23.60 € 46.16 лв

Partnerschafts-Astrologie Akron

С твърди корици

22.17 € 43.36 лв

Prevencion del fracaso escolar Minaca Laprida Maria Isabel

С меки корици

134.37 € 262.80 лв

Foucault, Transgresion y Libertad Rocío del Alva Priego

С меки корици

27.35 € 53.50 лв

Legislacion Internacional y Los Limites Maritimos de Ecuador Giovanny Benítez

С меки корици

65.56 € 128.23 лв

Vertrauen und Gewalt Jan Philipp Reemtsma

С меки корици

18.97 € 37.10 лв

Produktivitatsorientiertes Management von Anlagensystemen Manfred Hupfauer

С меки корици

49.57 € 96.95 лв

Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model checking, equivalence checking) and simulation-based techniques (coverage metrics, test generation). You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging. The foundations of formal and simulation-based techniques are covered too, as are more recent research advances including transaction-level modeling and assertion-based verification, plus the theoretical underpinnings of verification, including the use of decision diagrams and Boolean satisfiability (SAT).