Formal semantics of synchronous SystemC

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2003, Pages 376-381

  Salem, Ashraf ^a  

^a The British University in Egypt   (Egypt)

Author keywords

[No Author keywords available]

Indexed keywords

DELTA DELAYS; FORMAL MODEL; FORMAL SEMANTICS; SYSTEMC;

EXHIBITIONS;

SEMANTICS;

EID: 19044385754     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2003.1253637     Document Type: Conference Paper

References (19)

1. D.G. Augustin et al., ?The SCi Continuous System Simulation Language (CSSL)?, Simulation, 9, pp. 281-303, 1967.
2. T.E. Bonnerud, B. Hernes, T. Ytterdal, ?A Mixed-Signal, Functional Level Simulation Framework Based on SystemC for System-on-A-Chip Applications?, Proc. IEEE 2001 Custom Int, Conf. (CICC), 2001.
3. K.E. Brennan et al., Numerical Solutions of Initial-Value Problems in Differential-Algebraic Equations, Classic Appl. Math. 14, SIAM, 1996.
4. F.E. Cellier, Continuous System Modeling, Springer-Verlag, 1991.
5. J.M. Cho et al., ?Design and Implementation of HILS System for ABS ECU of Commercial Vehicles?, Proc. IEEE ISIE Conference, 2001.
6. K. Einwich et al., ?SystemC Extensions for Mixed-Signal System Design?, Proc. 2001 Forum on Design Languages (FDL'01), 2001.
7. K. Einwich et al., ?Analog Mixed Signal Extensions for SystemC?, White paper and proposal for the foundation of an OSCI Working Group (SystemC-AMS working group), June 2002, http://mixsigc.eas.iis.fhg.de/.
8. C. Grimm et al., ?AnalogSL: A Library for Modeling Analog Power Drivers in C++?, Proc. 2001 Forum on Design Languages (FDL'01), 2001.
9. C. Grimm et al., ?Refinement of Mixed-Signal Systems with SystemC?, Submitted to DATE?03.
10. T. Grötker et al., System Design with SystemC, Kluwer, 2002.
11. J.G. Kassakian, D.J. Perreault, ?The Future of Electronics in Automobiles?, Proc. IEEE International Symp. on Power Semiconductor Devices 2001, pp. 15-19, 2001.
12. K. Kundert, ?Simulation Methods for RF Integrated Circuits?, Proc. IEEE ICCAD?97, pp. 752-765, 1997.
13. P. Lieverse et al., ?A Methodology for Architecture Exploration of Heterogeneous Signal Processing Systems?, Proc. IEEE Workshop on Signal Processing Systems, pp. 181-190, 1999.
14. J. Liu, Continuous-Time and Mixed-Signal Simulation in Ptolemy II, UCB/ERL Memo M98/74, Univ. of California, Berkeley, 1998.
15. Open SystemC Initiative, http://www.systemc.org/.
16. Ptolemy, University of California, Berkeley, http://ptolemy.eecs. berkeley.edu/ptolemyII/.
17. G. Vanderspeeten et al., ?A methodology for efficient highlevel dataflow simulation of mixed-signal front-ends of digital telecom transceivers?,Proc. IEEE DAC 2000, pp. 440-445, 2000.
18. B. Zojer, R. Koban, J. Pichler, G. Paoli, ?A Broadband High-Voltage SLIC for a Splitter-And Transformerless Combined ADSL-Lite/POTS Linecard?, IEEE J. Solid-State Circuits, vol. 35, pp. 1976-1987, Dec. 2000.
19. Definition of Analog and Mixed Signal Extensions to IEEE Standard VHDL, IEEE Standard 1076.1-1999, IEEE Press, December 1999.