Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Oktober 2018
Genre:	Naturwissensch., Medizin, Technik
	B / Circuits and Systems / Computer architecture & logic design / Electronic circuits / Electronic Circuits and Systems / Electronics / Electronics and Microelectronics, Instrumentation / Electronics engineering / engineering / Microelectronics / Microprocessors / Processor Architectures mehr...
ISBN:	9783319989648
EAN-Code:	9783319989648
Verlag:	Springer EN
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	401 gr
Seiten:	130
Illustration:	XIX, 130 p. 24 illus., 19 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical formal verification, synthesis and test techniques for an approximate computing IC design flow. This is one of the first books in Approximate Computing that addresses the design automation aspects, aiming for not only sketching the possibility, but providing a comprehensive overview of different tasks and especially how they can be implemented.