| [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] |
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 ] |
| [3] |
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 ] |
| [4] |
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 ] |
| [5] |
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 ] |
| [6] |
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 ] |
| [7] |
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 ] |
| [8] |
P. Coste, F. Hessel, and A.A. Jerraya.
Multilanguage codesign using SDL and Matlab, 2000. [ bib | .html ] |
| [9] |
Sorin Cotofana, Stephan Wong, and Stamatis Vassiliadis.
Embedded processors: Characteristics and trends.
Technical report, Delft University of Technology, 2001. [ bib | .html ] |
| [10] |
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 ] |
| [11] |
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 ] |
| [12] |
Stephen Anthony Edwards.
The Specification and Execution of Heterogeneous Synchronous
Reactive Systems.
PhD thesis, University of California, Berkeley, 1997. [ bib | .pdf ] |
| [13] |
Stephen Anthony Edwards.
Design languages for embedded systems.
Technical report, Synopsys, Inc., 2001. [ bib | .html ] |
| [14] |
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 ] |
| [15] |
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 ] |
| [16] |
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 ] |
| [17] |
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 ] |
| [18] |
D. Gajski and F. Vahid.
Specification and design of embedded software-hardware systems.
IEEE Design & Test of Computers, 12(1), 1995. [ bib | .html ] |
| [19] |
Axel Jantsch, Shashi Kumar, and Ahmed Hemani.
The Rugby meta-model.
Technical report, Royal Institute of Technology, March 2000. [ bib | .html ] |
| [20] |
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 ] |
| [21] |
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 ] |
| [22] |
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 ] |
| [23] |
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 ] |
| [24] |
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 ] |
| [25] |
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 ] |
| [26] |
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 ] |
| [27] |
Jie Liu.
Responsible Frameworks for Heterogenous Modeling and Design of
Embedded Systems.
PhD thesis, University of California at Berkeley, 2001. [ bib | www ] |
| [28] |
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 ] |
| [29] |
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 ] |
| [30] |
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 ] |
| [31] |
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 ] |
| [32] |
Giovanni De Micheli and Rajesh K. Guipta.
Hardware/software co-design.
In Proceedings of the IEEE, volume 85, pages 349-365, March
1997. [ bib | .pdf ] |
| [33] |
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 ] |
| [34] |
Sandeep Neema.
System-level synthesis of adaptive computing systems, March 2000. [ bib | .pdf ] |
| [35] |
Mattias O'Nils.
Specification, Synthesis and Validation of Hardware/Software
Interfaces.
PhD thesis, Royal Institute of Technology, Sweden, 1999. [ bib | .ps ] |
| [36] |
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 ] |
| [37] |
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 ] |
| [38] |
S. Schulz and J.W. Rozenblit.
Concepts for model compilation.
Proceedings of ICDA Conference, 2000. [ bib | .pdf ] |
| [39] |
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 ] |
| [40] |
Thomas Markus Stauner.
Systematic Development of Hybrid Systems.
PhD thesis, Institut für Informatik der Technischen
Universität München, 2001. [ bib | .html ] |
| [41] |
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 ] |
| [42] |
The Economist.
Bespoke chips for the common man.
The Economist, December 2002.
12th. [ bib | http ] |
| [43] |
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 ] |
| [44] |
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 ] |
| [45] |
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 ] |
| [46] |
Mauricio Varea.
Mixed control/data-flow representation for modelling and verification
of embedded systems.
Technical report, University of Southampton, March 2002. [ bib | .html ] |
| [47] |
Various.
VSI alliance deliverables document.
Technical report, VSI Alliance, 1999. [ bib | .pdf ] |
| [48] |
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 ] |
| [49] |
Wayne Wolf.
Computers as components: principles of embedded computing system
design.
Academic Press, 2001. [ bib ] |
| [50] |
Ti-Yen Yen and Wayne Wolf.
Hardware-Software Co-Synthesis of Distributed Embedded Systems.
Kluwer Academic Publishers, 1996. [ bib ] |
| [51] |
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 ] |