UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design

Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT

Volumn , Issue , 2011, Pages 33-40

  Di Guglielmo, Luigi ^a   Fummi, Franco ^a,b   Pravadelli, Graziano ^a,b   Stefanni, Francesco ^a,b   Vinco, Sara ^a  

^a UNIVERSITY OF VERONA   (Italy)

^b EDALab Srl   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL MODEL; COSIMULATION; HARD TASK; HETEROGENEOUS COMPONENT; HETEROGENEOUS EMBEDDED SYSTEM; HETEROGENEOUS MODELING; HETEROGENEOUS SYSTEMS; MODEL OF COMPUTATION; MODERN EMBEDDED SYSTEMS; PHYSICAL ENVIRONMENTS; TOPDOWN;

COMPUTATIONAL METHODS; DESIGN; EMBEDDED SOFTWARE; SEMANTICS; SYSTEMS ANALYSIS;

EMBEDDED SYSTEMS;

EID: 84856199777     PISSN: 15526674     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HLDVT.2011.6114163     Document Type: Conference Paper

References (16)

1. Accellera. Verilog-AMS LRM. URL: http://www.verilog.org/verilogams/ htmlpages/public-docs/lrm/2.3.1/VAMS-LRM-2-3-1.pdf.
2. F. Balarin, Y.Watanabe, H. Hsieh, L. Lavagno, C. Passarone, and A. Sangiovanni-Vincentelli. Metropolis: an Integrated Electronic System Design Environment. In Computer, volume 36, pages 45-52, 2003.
3. N. Bombieri, M. Ferrari, F. Fummi, G. Di Guglielmo, G. Pravadelli, F. Stefanni, and A. Venturelli. Hifsuite: Tools for HDL code conversion and manipulation. In EURASIP Journal on Advances in Signal Processing, pages 1-20, 2010.
4. F. Bouchhima, M. Briere, G. Nicolescu, M. Abid, and E. Aboulhamid. A SystemC/Simulink Co-Simulation Framework for Continuous/Discrete-Events Simulation. In IEEE Behavioral Modeling and Simulation Workshop, pages 1-6, 2007.
5. D.D. Gajski and Z. Jianwen and R. Domer and A. Gerstlauer and Z. Shuqing. SpecC: Specification Language and Methodology. Springer, 2000.
6. G. De Micheli, R. Ernst, and W. Wolf. Readings in Hardware/Software Co-Design. Morgan Kaufmann Publishers, 2001.
7. F. Fummi, M. Loghi, M. Poncino, and G. Pravadelli. A cosimulation methodology for hw/sw validation and performance estimation. ACM Trans. Des. Autom. Electron. Syst., 14:23:1-23:32, April 2009.
8. D. D. Gajski, N. D. Dutt, A. C.-H. Wu, and S. Y.-L. Lin. High-level synthesis: introduction to chip and system design. Kluwer Academic Publishers, 1992.
9. T. Henzinger. The Theory of Hybrid Automata. In IEEE Symposium on Logic in Computer Science (LICS), pages 278-292, 1996.
10. IEEE 1076.1 Working Group. IEEE Standard VHDL Analog and Mixed-Signal Extensions.
11. E. Lee and A. Sangiovanni-Vincentelli. Component-based design for the future. In Proc. of DATE 2011, volume 1, pages 1-5, 2011.
12. E. A. Lee. Overview of the Ptolemy project. 2001. URL: http://ptolemy.eecs.berkeley.edu.
13. T. MathWorks. Stateflow: Design and simulate state machines and control logic. URL: http://www.mathworks.com/products/stateflow/.
14. Open SystemC Initiative. SystemC 2.2 standard. URL: http://www.systemc. org/downloads/lrm/.
15. Open SystemC Initiative. SystemC-AMS 1.0 standard. URL: http://www.systemc.org/downloads/standards/ams10.
16. B. van Beek. The Compositional Interchange Format: Introduction. URL: http://se.wtb.tue.nl/sewiki/-media/vanbeek/cifintro.pdf.