A Top-Down formal Verification Approach of LIN Hardware IP based on the GapFreeVerification(TM) Process
| 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 |