Matteo Michel, Johannes Koesters, Benedikt Geukes. Modulare Verifikation von Non-Mainline Chip-Level Funktionen. In Ulrich Heinkel, Daniel Kriesten, Marko Rößler, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015. pages 14-19, Sächsische Landesbibliothek, 2015.
Abstract is missing.