Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model

Authors:
Felice Balarin;Luciano Lavagno;Claudio Passerone;Alberto Sangiovanni-Vincentelli;Yosinori Watanabe;Guang Yang
Affiliations:
Cadence Berkeley Labs, Berkeley CA;Cadence Berkeley Labs, Berkeley CA;Politecnico di Torino, C. Duca degli Abruzzi 24, Torino, ITALY;University of California, Berkeley CA;Cadence Berkeley Labs, Berkeley CA;University of Massachusetts, Amherst MA
Venue:
Proceedings of the tenth international symposium on Hardware/software codesign
Year:
2002

Citing 4
Cited 10

Model checking for programming languages using VeriSoft

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
YAPI: application modeling for signal processing systems

Proceedings of the 37th Annual Design Automation Conference
The Java Programming Language

The Java Programming Language
Simulation coverage enhancement using test stimulus transformation

Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design

Compositional Modeling in Metropolis

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Metropolis: An Integrated Electronic System Design Environment

Computer
Convertibility verification and converter synthesis: two faces of the same coin

Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Architecture-Level Performance Estimation for IP-Based Embedded Systems

Proceedings of the conference on Design, automation and test in Europe - Volume 2
Designing communicating transaction processes by supervisory control theory

Formal Methods in System Design
Refinement preserving approximations for the design and verification of heterogeneous systems

Formal Methods in System Design
Approximating Behaviors in Embedded System Design

Concurrency, Graphs and Models
Multi-granularity noc simulation framework for early phase exploration of SDR hardware platforms

PATMOS'09 Proceedings of the 19th international conference on Integrated Circuit and System Design: power and Timing Modeling, Optimization and Simulation
References

Embedded Systems Design
System scenarios-based architecture level exploration of SDR application using a network-on-chip simulation framework

Microprocessors & Microsystems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents the simulation techniques that are available in Metropolis, an inter-disciplinary research project that develops a design methodology, supported by a comprehensive design environment and tool set, for embedded systems. System behavior is non-deterministic in general, especially in the beginning of the design process, when several key decision, such as the mapping on an implementation platform, have not yet been made, and thus the traces obtainable by simulation are not unique even under the same input sequence. One may want to visit as many traces as possible for regression tests at the final stage of designs, or may just need one valid trace for a quick validation of the design at an early stage. Our techniques can adapt to these different objectives easily. They are also platform-independent in that simulation using different languages, such as SystemC 2.0, Java, and C++ with a thread library, are possible. This feature is important for co-simulation between designs captured in Metropolis and those that have been already designed in other languages.