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

• HTML

  Douglas Densmore, Trevor Meyerowitz, Abhijit Davare, Qi Zhu,
  Guang Yang. <a
  href="http://chess.eecs.berkeley.edu/pubs/387.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{DensmoreMeyerowitzDavareZhuYang08_MetroIIExecutionSemanticsForMapping,
      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},
      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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/387.html}
  }
  

Posted by Douglas Densmore on 18 Feb 2008.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.