Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Practical Design Verification

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

Dhiraj K. PradhanIan G. Harris

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 02047589

Nakladatelství Cambridge University Press, červen 2009

Improve design efficiency and reduce costs with this practical guide to formal and simulation-based... Celý popis

Libristo kód: 02047589

379 b

3 787 Kč

Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Excel (versions 2024 et Microsoft 365) RIGOLLET

Brožovaná

765 Kč

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

Brožovaná

657 Kč

Ange movie Durand

Brožovaná

512 Kč

Elementos de Didática do Direito (2a ediç?o) Alfredo Braga Furtado

Brožovaná

0 Kč

Partnerschafts-Astrologie Akron

Pevná

476 Kč

Prevencion del fracaso escolar Minaca Laprida Maria Isabel

Brožovaná

732 Kč

Produktivitatsorientiertes Management von Anlagensystemen Manfred Hupfauer

Brožovaná

1 080 Kč

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).