Flexible and formal modeling of microprocessors with application to retargetable simulation

Wei Qin, Sharad Malik

Research output: Contribution to journalConference articlepeer-review

60 Scopus citations


Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behaviors and generating efficient simulators. We propose the operation state machine (OSM) computation model to serve as the foundation of such a modeling framework. The OSM model separates the processor into two interacting layers: the operation layer where operation semantics and timing are modeled, and the hardware layer where disciplined hardware units interact. This declarative model allows for direct synthesis of micro-architecture simulators as it encapsulates precise concurrency semantics of microprocessors. We illustrate the practical benefits of this model through two case studies - the StrongARM core and the PowerPC-750 superscalar processor The experimental results demonstrate that the OSM model has excellent modeling productivity and model efficiency. Additional applications of this modeling framework include derivation of information required by compilers and formal analysis for processor validation.

Original languageEnglish (US)
Article number1253667
Pages (from-to)556-561
Number of pages6
JournalProceedings -Design, Automation and Test in Europe, DATE
StatePublished - 2003
EventDesign, Automation and Test in Europe Conference and Exhibition, DATE 2003 - Munich, Germany
Duration: Mar 3 2003Mar 7 2003

All Science Journal Classification (ASJC) codes

  • General Engineering


Dive into the research topics of 'Flexible and formal modeling of microprocessors with application to retargetable simulation'. Together they form a unique fingerprint.

Cite this