Modulare Verifikation von Non-Mainline Chip-Level Funktionen. - Matteo Michel; Johannes Koesters; Benedikt Geukes (MBMV, 2015)