Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Oktober 2010
Genre:	Naturwissensch., Medizin, Technik
	B / Circuits and Systems / Computer architecture & logic design / Computer-Aided Design (CAD) / Computer-aided engineering / Computer-Aided Engineering (CAD, CAE) and Design / Electrical and Electronic Engineering / Electrical Engineering / Electronic circuits / Electronic Circuits and Systems / Electronics / Electronics and Microelectronics, Instrumentation / Electronics engineering / engineering / Logic Design / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical Logic and Foundations / Mathematical theory of computation / Microelectronics
ISBN:	9789048171859
EAN-Code:	9789048171859
Verlag:	Springer Nature EN
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 240 mm / B 160 mm / D
Gewicht:	434 gr
Seiten:	252
Zus. Info:	Previously published in hardcover
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal property verification ¿ a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples ¿ you do not need any background on formal methods to read most parts of this book.