Microarchitectural exploration with Liberty

Manish Vachharajani, Neil Vachharajani, David A. Penry, Jason A. Blome, David I. August

Research output: Chapter in Book/Report/Conference proceedingConference contribution

105 Scopus citations


To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction methodology, hand-writing monolithic simulators in sequential programming languages, yields simulators that are hard to retarget, limiting the number of designs explored, and hard to understand, instilling little confidence in the model. Simulator construction tools have been developed to address these problems, but analysis reveals that they do not address the root cause, the error-prone mapping between the concurrent, structural hardware domain and the sequential, functional software domain. This paper presents an analysis of these problems and their solution, the Liberty Simulation Environment (LSE). LSE automatically constructs a simulator from a machine description that closely resembles the hardware, ensuring fidelity in the model. Furthermore, through a strict but general component communication contract, LSE enables the creation of highly reusable component libraries, easing the task of rapidly exploring ever more exotic designs.

Original languageEnglish (US)
Title of host publicationProceedings - 35th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2002
PublisherIEEE Computer Society
Number of pages12
ISBN (Electronic)0769518591
StatePublished - 2002
Event35th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2002 - Istanbul, Turkey
Duration: Nov 18 2002Nov 22 2002

Publication series

NameProceedings of the Annual International Symposium on Microarchitecture, MICRO
ISSN (Print)1072-4451


Other35th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2002

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture


  • Analytical models
  • Computational modeling
  • Computer languages
  • Contracts
  • Electronic switching systems
  • Hardware
  • Libraries
  • Microarchitecture
  • Product design
  • Writing


Dive into the research topics of 'Microarchitectural exploration with Liberty'. Together they form a unique fingerprint.

Cite this