Neues Konzept zur Steigerung der Zuverlaessigkeit einer ARM-basierten Prozessorarchitektur unter Verwendung eines CGRAs

by Konstantin Luebeck, David Morgenstern, Thomas Schweizer, Dustin Peterson, Wolfgang Rosenstiel, and Oliver Bringmann
In Proceedings Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) Workshop 2016, 2016.