| [1] |
R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee,
P. Mishra, G. Pappas, and O. Sokolsky.
Hierarchical modeling and analysis of embedded systems.
Proceedings of the IEEE, 91(1), January 2003. [ bib | .html ] |
| [2] |
John Backus.
Can programming be liberated from the Von Neumann style?: a
functional style and its algebra of programs.
Communications of the ACM, 21(8):613-641, 1978. [ bib ] |
| [3] |
I. D. Bates, E. G. Chester, and D. J. Kinniment.
A statechart based HW/SW codesign system.
In Proceedings of the Seventh International Workshop on
Hardware/Software Codesign (CODES-99), pages 162-166. ACMPress, May 1999. [ bib | .pdf ] |
| [4] |
S. S. Bhattacharyya, R. Leupers, and P. Marwedel.
Software synthesis and code generation for signal processing systems.
IEEE Transactions on Circuits and Systems, 47(9), September
2000. [ bib | .pdf ] |
| [5] |
Per Bjuréus and Axel Jantsch.
Mascot: a specification and cosimulation method integrating data and
control flow.
In Proceedings of the conference on Design, automation and test
in Europe, pages 161-168. ACM Press, 2000. [ bib | http ] |
| [6] |
J. Buck, S. Ha, E. Lee, and D. Messerschmitt.
Ptolemy: a mixed paradigm simulation/prototyping platform in C++.
In Conference Proceedings C++ At 163 Work, 1991. [ bib | .html ] |
| [7] |
Lukai Cai, Daniel D. Gajski, Mike Olivarez, and Paul Kritzingers.
C/C++ based system design flow using specc, vcc and systemc.
Technical report, University of California, Irvine, June 2002. [ bib | .pdf ] |
| [8] |
Andrew Cassidy.
High-level performance modelling and design exploration, -. [ bib | .pdf ] |
| [9] |
Wah-Teh Chang, Soonhoi Ha, and Edward A. Lee.
Heterogeneous simulation - mixing discrete-event models with
dataflow.
Journal of VLSI Signal Processing, 15:127-144, 1997. [ bib | http ] |
| [10] |
E. Christen and K. Bakalar.
VHDL 1076.1 -— analog and mixed signal extensions to VHDL.
In Proceedings of the conference with EURO-VHDL'96 and
exhibition on European Design Automation, pages 556-561. IEEE Computer
Society Press, 1996. [ bib ] |
| [11] |
Luis Alejandro Cortés, Petru Eles, and Zebo Peng.
A survey on hardware/software codesign representation models.
Technical report, Linköping University, June 1999. [ bib | .pdf ] |
| [12] |
P. Coste, F. Hessel, and A.A. Jerraya.
Multilanguage codesign using SDL and Matlab, 2000. [ bib | .html ] |
| [13] |
Sorin Cotofana, Stephan Wong, and Stamatis Vassiliadis.
Embedded processors: Characteristics and trends.
Technical report, Delft University of Technology, 2001. [ bib | .html ] |
| [14] |
Jean-Marc Daveau, Gilberto Fernandes Marchioro, and Ahmed Amine Jerraya.
VHDL generation from SDL specification.
In C. Delgado Kloos and E. Cerny, editors, Hardware
Description Languages and their Applications (CHDL '97), Toledo, Spain,
April 1997. IFIP WG 10.5, Chapman and Hall. [ bib | .pdf ] |
| [15] |
John Davis II, Christopher Hylands, J. Janneck, Edward A. Lee, Jie Liu,
Xiaojun Liu, Steve Neuendorffer, Sonia Sachs, Mary Stewart, Kees Vissers,
Paul Whitaker, and Yuhong Xiong.
Overview of the Ptolemy project.
Technical report, University of California at Berkeley, March 2001. [ bib | http ] |
| [16] |
J. L. Diaz-Herrera.
A survey of system-level design notations for embedded systems.
draft, 2001. [ bib | .pdf ] |
| [17] |
Stephen Anthony Edwards.
The Specification and Execution of Heterogeneous Synchronous
Reactive Systems.
PhD thesis, University of California, Berkeley, 1997. [ bib | .pdf ] |
| [18] |
Stephen Anthony Edwards.
Design languages for embedded systems.
Technical report, Synopsys, Inc., 2001. [ bib | .html ] |
| [19] |
M. Eisenring, J. Teich, and L. Thiele.
Rapid prototyping of dataflow programs on hardware/software
architectures.
In Proc. of HICSS-31, Proc. of the Hawai'i Int. Conf. on Syst.
Sci., pages 187-196, Kona, Hawaii, January 1998. [ bib | http ] |
| [20] |
Johan Eker, Jörn W. Janneck, Edward A. Lee, Jee Liu, Xiaojun Liu, Jozsef
Ludvig, Stephen Neuendorffer, Sonia Sachs, and Yhong Xiong.
Taming heterogeneity - the Ptolemy approach.
In Proceedings of the IEEE, 2002. [ bib | http ] |
| [21] |
P. Ellervee, S. Kumar, A. Jantsch, B. Svantesson, T. Meincke, and A. Hemani.
Irsyd: An internal representation for heterogeneous embedded systems.
Proceedings of the NORCHIP Conference, Lund, Sweden, November
1998. [ bib | .pdf ] |
| [22] |
A. Fin, F. Fummi, M. Martignano, and M. Signoretto.
SystemC: A homogenous environment to test embedded systems.
In Proceedings of the Ninth International Symposium on
Hardware/Software Codesign (CODES-01), pages 17-22. ACMPress, April 2001. [ bib | .pdf ] |
| [23] |
D. Gajski and F. Vahid.
Specification and design of embedded software-hardware systems.
IEEE Design & Test of Computers, 12(1), 1995. [ bib | .html ] |
| [24] |
Daniel Gajski, Rainer Dömer, and Jianwen Zhu.
IP-centric methodology and design with the SpecC language.
Technical report, University of California, Irvine, 1998. [ bib ] |
| [25] |
Daniel Gajski, Jianwen Zhu, and Rainer Dömer.
Essential issues in codesign.
Technical report, University of California, Irvine, 1997. [ bib | .html ] |
| [26] |
Rajesh Kumar Gupta.
CO-SYNTHESIS OF HARDWARE AND SOFTWARE FOR DIGITAL EMBEDDED
SYSTEMS.
PhD thesis, Stanford University, 1993. [ bib ] |
| [27] |
Axel Jantsch, Shashi Kumar, and Ahmed Hemani.
The Rugby meta-model.
Technical report, Royal Institute of Technology, March 2000. [ bib | .html ] |
| [28] |
A. A. Jerraya, M. Romdhani, Ph. Le Marrec, F. Hessel, P. Coste, C. Valderrama,
G. F. Marchioro, J. M. Daveau, and N.-E. Zergainoh.
Multilanguage Specification for System Design and Codesign,
chapter 5.
Kluwer academic Publishers, 1999. [ bib | .html ] |
| [29] |
Yunjian Jiang and Robert K. Brayton.
Software synthesis from synchronous specifications using logic
simulation techniques.
In Proceedings of the 39th conference on Design automation,
pages 319-324. ACM Press, 2002. [ bib | http ] |
| [30] |
Dusko S. Jovanovic, Gerald H. Hilderink, and Jan F. Broenink.
Integrated design tool for embedded control systems.
In Frank Karelse, editor, Proceedings of the 2nd Progress
Workshop on Embedded Systems. Technology Foundation (STW), October 2001. [ bib ] |
| [31] |
K. Keutzer, S. Malik, R. Newton, J. Rabaey, and A. L. Sangiovanni-Vincentelli.
System level design: Orthogonalization of concerns and
platform-based design.
IEEE Trans. on CAD, 2000. [ bib | .pdf ] |
| [32] |
Bart Kienhuis, Ed F. Deprettere, Pieter van der Wolf, and Kees Vissers.
A methodology to design programmable embedded systems - the
Y-chart approach.
Lecture Notes in Computer Science, 2268:18-??, 2002. [ bib | http ] |
| [33] |
Yongjoo Kim, Kyuseok Kim, Youngsoo Shin, Taekyoon Ahn, and Kiyoung Choi.
An integrated cosimulation environment for heterogeneous systems
prototyping.
Design Automation for Embedded Systems, 3(2/3):163-186, March
1998. [ bib | .pdf ] |
| [34] |
Edward A. Lee.
System-level design methodology for embedded signal processors.
Technical Report F33615-93-C-1317, University of California at
Berkeley, 1997. [ bib | .pdf ] |
| [35] |
Edward A. Lee.
Embedded software.
Technical report, University of California at Berkeley, July 2001. [ bib | http ] |
| [36] |
Edward A. Lee and Alberto Sangiovanni-Vincentelli.
A framework for comparing models of computation.
IEEE Transactions on Computer Aided Design, 17(12):1217-1229,
December 1998. [ bib | http ] |
| [37] |
Jie Liu.
Responsible Frameworks for Heterogenous Modeling and Design of
Embedded Systems.
PhD thesis, University of California at Berkeley, 2001. [ bib | www ] |
| [38] |
Xiaojun Liu, Jie Liu, Johan Eker, and Edward A. Lee.
Heterogeneous modeling and design of control systems.
Software-Enabled Control: Information Technology for Dynamical
Systems, 2002.
To appear. [ bib | http ] |
| [39] |
Zhonghai Lu.
Refinement of a system specification for a digital equalizer into
HW and SW implementations.
January, Royal Institute of Technology, 2002. [ bib | .ps.gz ] |
| [40] |
William H. Mangione-Smith, Brad Hutchings, David Andrews, Andre DeHon, Carl
Ebeling, Reiner Hartenstein, Oskar Mencer, John Morris, Krishna Palem,
Viktor K. Prasanna, and Henk A.E. Spaanenburg.
Seeking solutions in configurable computing.
IEEE Computer, 30(12):38-43, December 1997. [ bib | http ] |
| [41] |
C. A. Marcon, F. P. Hessel, A. M. Amory, L. H. L. Ries, F. G. Moraes, and
N. L. V. Calazans.
Prototyping of embedded digital systems from sdl language: A case
study.
In Proc. Seventh Annual IEEE International Workshop on High
Level Design Validation and Test, 2002.
To appear. [ bib | .pdf ] |
| [42] |
M. Meerwein, C. Baumgartner, and W. Glauert.
Linking codesign and reuse in embedded systems design.
In Proceedings of the eighth international workshop on
Hardware/software codesign, pages 93-97. ACM Press, 2000. [ bib ] |
| [43] |
Giovanni De Micheli and Rajesh K. Gupta.
Hardware/software co-design.
In Proceedings of the IEEE, volume 85, pages 349-365, March
1997. [ bib | .pdf ] |
| [44] |
Vincent J. Mooney III and Giovanni De Micheli.
Real time analysis and priority scheduler generation for
hardware-software systems with a synthesized run-time system.
In Proceedings of the 1997 IEEE/ACM international conference on
Computer-aided design, pages 605-612. IEEE Computer Society, 1997. [ bib | http ] |
| [45] |
Sandeep Neema.
System-level synthesis of adaptive computing systems, March 2000. [ bib | .pdf ] |
| [46] |
Brett Ninness.
Fundamentals of Signals, Systems and Filtering.
-, 2002.
To appear. [ bib | .pdf ] |
| [47] |
Mattias O'Nils.
Specification, Synthesis and Validation of Hardware/Software
Interfaces.
PhD thesis, Royal Institute of Technology, Sweden, 1999. [ bib | .ps ] |
| [48] |
Eric K. Pauer and Jonathan B. Prime.
An architectural trade capability using the ptolemy kernel.
Technical report, Sanders, a Lockheed Martin Company, Nashua, 1996. [ bib | .pdf ] |
| [49] |
José Luis Pino.
Software synthesis for single-processor dsp systems using ptolemy.
Master's thesis, University of California, Berkeley, 1993. [ bib ] |
| [50] |
I. Sander and A. Jantsch.
System synthesis based on a formal computational model and skeletons.
In Proceedings of the IEEE Computer Society Annual Workshop on
VLSI, 1999. [ bib | .html ] |
| [51] |
I. Sander and A. Jantsch.
System synthesis utilizing a layered functional model.
In Proceedings of the Seventh International Workshop on
Hardware/Software Codesign (CODES-99), pages 136-140. ACMPress, May 1999. [ bib | .pdf ] |
| [52] |
S. Schulz and J.W. Rozenblit.
Concepts for model compilation.
Proceedings of ICDA Conference, 2000. [ bib | .pdf ] |
| [53] |
F. Slomka, M. Dörfel, and R. Münzenberger.
Generating mixed hardware/software systems from SDL specifications.
In Proceedings of the Ninth International Symposium on
Hardware/Software Codesign (CODES-01), pages 116-121. ACMPress, April 2001. [ bib | .pdf ] |
| [54] |
Jaap Smit, M. Stekelenburg, C.E. Klaassen, S. Mullender, Gerard J. M. Smit, and
Paul J.M. Havinga.
Low cost & fast turnaround: Reconfigurable graph-based execution
units.
In Proceedings Belsign Workshop, 1998. [ bib ] |
| [55] |
Thomas Markus Stauner.
Systematic Development of Hybrid Systems.
PhD thesis, Institut für Informatik der Technischen
Universität München, 2001. [ bib | .html ] |
| [56] |
R. Tessier and W. Burleson.
Reconfigurable computing for digital signal processing: A survey.
Journal of VLSI Signal Processing, 28(1):7-27, June 2001. [ bib | .html ] |
| [57] |
The Economist.
Bespoke chips for the common man.
The Economist, December 2002.
12th. [ bib | http ] |
| [58] |
L. Thiele, K. Strehl, D. Ziegenbein, R. Ernst, and J. Teich.
FunState - an internal design representation for codesign.
In ICCAD'99, the IEEE/ACM Int. Conf. on Computer-Aided Design,
pages 558-565, San Jose, U.S.A., November 1999. [ bib | .pdf ] |
| [59] |
Donald E. Thomas, Jay K. Adams, and Herman Schmit.
A model and methodology for hardware-software codesign.
IEEE Design & Test of Computers, September 1993. [ bib | http ] |
| [60] |
J. van der Wateren and A. M. Bos.
Real-time software testing throughout a projects life cycle using
simulated hardware.
In Proceedings of the 5th International Workshop on Simulation
for European Space Programmes, November 1998. [ bib | .pdf ] |
| [61] |
Mauricio Varea.
Mixed control/data-flow representation for modelling and verification
of embedded systems.
Technical report, University of Southampton, March 2002. [ bib | .html ] |
| [62] |
Various.
VSI alliance deliverables document.
Technical report, VSI Alliance, 1999. [ bib | .pdf ] |
| [63] |
S. Virtanen, D. Truscan, and J. Lilius.
Systemc based object oriented system design.
In Proceedings of the Fourth International Forum on Design
Languages, 2001. [ bib | .html ] |
| [64] |
Vladimir D. Zivkovic, E.F. Deprettere, P. van der Wolfa, and E.A.de
Kock.
From high level application specification to system-level
architecture definition: Exploration, design and complitation.
In Proceedings of The International Workshop on Compilers for
Parallel Computers (CPC03),Amsterdam, the Netherlands, pages 39-49, January
2003. [ bib | .pdf ] |
| [65] |
Vladimir D. Zivkovic and Paul Lieverse.
An overview of methodologies and tools in the field of system-level
design.
Lecture Notes in Computer Science, 2268:74-??, 2002. [ bib | http ] |
| [66] |
Wayne Wolf.
Computers as components: principles of embedded computing system
design.
Academic Press, 2001. [ bib ] |
| [67] |
Ti-Yen Yen and Wayne Wolf.
Hardware-Software Co-Synthesis of Distributed Embedded Systems.
Kluwer Academic Publishers, 1996. [ bib ] |
| [68] |
D. Ziegenbein, K. Richter, R. Ernst, L. Thiele, and J. Teich.
SPI - a system model for heterogeneously specified embedded
systems.
IEEE Trans. on VLSI Systems, 2002. [ bib ] |