Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Practical Design Verification

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

Dhiraj K. PradhanIan G. Harris

Sprache

Englisch

Buch Hardcover

Libristo-Code: 02047589

Verlag Cambridge University Press, Juni 2009

Improve design efficiency and reduce costs with this practical guide to formal and simulation-based... Vollständige Beschreibung

Libristo-Code: 02047589

416 b

169.79 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Excel (versions 2024 et Microsoft 365) RIGOLLET

Broschur

32.59 €

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

Broschur

27.99 €

Ange movie Durand

Broschur

23.49 €

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

Broschur

0.00 €

Partnerschafts-Astrologie Akron

Hardcover

24.80 €

Prevencion del fracaso escolar Minaca Laprida Maria Isabel

Broschur

33.59 €

Produktivitatsorientiertes Management von Anlagensystemen Manfred Hupfauer

Broschur

49.99 €

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

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Practical Design Verification

Autor Dhiraj K. PradhanIan G. Harris

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2009

Anzahl der Seiten 288

EAN 9780521859721

ISBN 0521859727

Libristo-Code 02047589

Verlag Cambridge University Press

Gewicht 714

Abmessungen 181 x 254 x 18

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Schaltkreise und Komponenten (Bauteile)

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Elektronische Geräte und Materialien

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert