Separation of concerns: overhead in modeling and efficient simulation techniques

Authors:
Guang Yang;Alberto Sangiovanni-Vincentelli;Yosinori Watanabe;Felice Balarin
Affiliations:
University of California at Berkeley, Berkeley, CA;University of California at Berkeley, Berkeley, CA;Cadence Berkeley Laboratories, Berkeley, CA;Cadence Berkeley Laboratories, Berkeley, CA
Venue:
Proceedings of the 4th ACM international conference on Embedded software
Year:
2004

Citing 9
Cited 4

YAPI: application modeling for signal processing systems

Proceedings of the 37th Annual Design Automation Conference
System Design with SystemC

System Design with SystemC
Exploring Embedded-Systems Architectures with Artemis

Computer
Rosetta: Semantic Support for Model-Centered Systems-Level Design

Computer
Modeling and Designing Heterogeneous Systems

Concurrency and Hardware Design, Advances in Petri Nets
Metropolis: An Integrated Electronic System Design Environment

Computer
An IDF-based trace transformation method for communication refinement

Proceedings of the 40th annual Design Automation Conference
System-level design: orthogonalization of concerns and platform-based design

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
System modeling and transformational design refinement in ForSyDe [formal system design]

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Using separation of concerns for embedded systems design

Proceedings of the 5th ACM international conference on Embedded software
Parallel co-simulation using virtual synchronization with redundant host execution

Proceedings of the conference on Design, automation and test in Europe: Proceedings
Computation and communication refinement for multiprocessor SoC design: A system-level perspective

Proceedings of the 41st annual Design Automation Conference
Provenance collection support in the kepler scientific workflow system

IPAW'06 Proceedings of the 2006 international conference on Provenance and Annotation of Data

Quantified Score

Hi-index	0.00

Visualization

Abstract

Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as well as in re-usability of the design. However, exploiting fully the re-usability opportunities offered by this approach implies to keep the various aspects of the design separated while verifying the design at a given level of abstraction. In particular, simulation of the design may undergo significant overhead versus a traditional approach where the design is represented and analyzed monolithically. In this paper, we present a few techniques that eliminate almost entirely the overhead while maintaining the positive aspects of the separation of concerns. Experimental results on a complex design back this assertion.