Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 14-24 Tagen versandfertig
Veröffentlichung:	Mai 2011
Genre:	Naturwissensch., Medizin, Technik
	COMPUTERS / CAD-CAM / TECHNOLOGY & ENGINEERING / Electronics / Circuits / General / Technology & Industrial Arts
ISBN:	9781441993588
EAN-Code:	9781441993588
Verlag:	Springer New York
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 245 mm / B 164 mm / D 18 mm
Gewicht:	419 gr
Seiten:	167
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The verification techniques presented in this book include methods for verifying properties of high-level designs and methods for verifying that the translation from high-level design to a low-level Register Transfer Language (RTL) design preserves semantics.