Citation
Douglas Densmore, Trevor Meyerowitz, Abhijit Davare, Qi Zhu, Guang Yang. "Metro II Execution Semantics for Mapping". Technical report, University of California, Berkeley, UCB/EECS-2008-16, February, 2008.

Abstract
This document presents three proposals for the execution semantics of mapping in Metro II. Mapping is the relationship between what a system does (functionality) and how it does it (architecture). The main concern is whether the functionality and architecture models should execute concurrently or sequentially during simulation. Proposal #1 presents sequential execution with the functionality being executed before the architecture. Proposal #2 also presents sequential execution, but with the architecture executing before the functionality. Finally, Proposal #3 presents concurrent execution. Processes are present in the architecture to execute simultaneously with the events mapped to them in the functionality. Each of these three proposals is demonstrated on a set of design scenarios with hand traces illustrating their execution. Additionally general assumptions, glossary terms, and proposal-specific assumptions made regarding the execution semantics are discussed. Finally, the proposals are compared and contrasted, especially regarding how they can properly implement the examples and the general semantic assumptions.

Electronic downloads

• EECS-2008-16.pdf · application/pdf · 653 kbytes

Citation formats

• HTML

  Douglas Densmore, Trevor Meyerowitz, Abhijit Davare, Qi Zhu,
  Guang Yang. <a
  href="http://www.gigascale.org/pubs/1224.html"><i>Metro
  II Execution Semantics for Mapping</i></a>,
  Technical report,  University of California, Berkeley,
  UCB/EECS-2008-16, February, 2008.

• Plain text

  Douglas Densmore, Trevor Meyerowitz, Abhijit Davare, Qi Zhu,
  Guang Yang. "Metro II Execution Semantics for Mapping".
  Technical report,  University of California, Berkeley,
  UCB/EECS-2008-16, February, 2008.

• BibTeX

  @techreport{DensmoreMeyerowitzDavareZhuYang2008,
      author = {Douglas Densmore and Trevor Meyerowitz and Abhijit
                Davare and Qi Zhu and Guang Yang},
      title = {Metro II Execution Semantics for Mapping},
      institution = {University of California, Berkeley},
      number = {UCB/EECS-2008-16},
      month = {February},
      year = {2008},
      URL = {http://www.gigascale.org/pubs/1224.html}
  }
  

Posted by Douglas Densmore, PhD on 18 Feb 2008..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.