[Zurück]

A. Krall:
"Correct Compilers for Correct Processors";
Hauptvortrag: HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers), Wien (eingeladen); 20.01.2014 - 22.01.2014.

Rapid design space exploration is the key to meet todays time to market and budget constraints. Many of todays safety critical systems are built upon application specific processors (ASP) to meet requirements of processing power and energy consumption. There is a high demand for methods and tools which enable quick evaluation of application specific designs. We designed CASM, a well defined (formal) general purpose programming language based on abstract state machines. We also provide high efficient tools which make CASM suitable for industrial application. Using a unified architecture specification in CASM we derived scalable compiler verification tools, synthesized efficient instruction set simulator and generated tools for compiled simulation. With few lines of CASM variants of the micro architecture can be specified, evaluated and verified. In this talk we will present some details of CASM, how processors are modeled, how the verification is done and report on the performance of these tools on industrial scale data sets.

http://www.hipeac.net/node/6438