A Top-Down formal Verification Approach of LIN Hardware IP based on the GapFreeVerification(TM) Process

Sander, O.; Klimm, A.; Hogh-Binder, A.; Bulach, S.; Weinberger, K.

Seitenaufrufe: 140
seit 22.05.2018

Zugehörige Institution(en) am KIT	Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp	Proceedingsbeitrag
Publikationsjahr	2009
Sprache	Englisch
Identifikator	ISBN: 978-3-8007-3165-7 KITopen-ID: 1000021281
Erschienen in	Proceedings / edaWorkshop 09, Dresden (Germany), May 26 - 28, 2009
Verlag	VDE Verlag
Seiten	55 - 60