refs.bib
@BOOK{yen,
AUTHOR = {Ti-Yen Yen and Wayne Wolf},
TITLE = {Hardware-Software Co-Synthesis of Distributed Embedded Systems},
YEAR = {1996},
ISBN = {0792397975},
PUBLISHER = {Kluwer Academic Publishers}
}
@BOOK{wolf,
AUTHOR = {Wayne Wolf},
TITLE = {Computers as components: principles of embedded computing system design},
PUBLISHER = {Academic Press},
YEAR = {2001},
ISBN = {155860-541X}
}
@TECHREPORT{Cortes,
AUTHOR = {Luis Alejandro Cort\'{e}s and Petru Eles and Zebo Peng},
TITLE = {A survey on hardware/software codesign representation models},
INSTITUTION = {Link\"{o}ping University},
YEAR = {1999},
MONTH = {June},
URL = {http://www.ida.liu.se/labs/eslab/publications/pap/db/SAVE99.pdf}
}
@INBOOK{jerraya,
AUTHOR = {A. A. Jerraya and M. Romdhani and Ph. Le Marrec and F. Hessel and P. Coste
and C. Valderrama and G. F. Marchioro and J. M. Daveau and N.-E. Zergainoh},
TITLE = {Multilanguage Specification for System Design and Codesign},
URL = {http://citeseer.nj.nec.com/283545.html},
BOOKTITLE = {System-level Synthesis},
CHAPTER = {5},
YEAR = {1999},
PUBLISHER = {Kluwer academic Publishers}
}
@INPROCEEDINGS{mooney,
AUTHOR = {Vincent J. {Mooney III} and Giovanni {De Micheli} },
TITLE = {Real time analysis and priority scheduler generation for hardware-software systems with a synthesized run-time system},
BOOKTITLE = {Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design},
YEAR = {1997},
ISBN = {0-8186-8200-0},
PAGES = {605--612},
LOCATION = {San Jose, California, United States},
PUBLISHER = {IEEE Computer Society},
URL = {http://portal.acm.org/citation.cfm?id=266563&coll=portal&dl=ACM}
}
@ARTICLE{gajski95specification,
AUTHOR = {D. Gajski and F. Vahid},
TITLE = {Specification and design of embedded software-hardware systems},
YEAR = {1995},
JOURNAL = {IEEE Design \& Test of Computers},
VOLUME = {12},
NUMBER = {1},
URL = {http://citeseer.nj.nec.com/gajski95specification.html}
}
@ARTICLE{Thomas,
AUTHOR = {Donald E. Thomas and Jay K. Adams and Herman Schmit},
TITLE = {{A} Model and Methodology for Hardware-Software Codesign},
YEAR = {1993},
JOURNAL = {IEEE Design \& Test of Computers},
MONTH = SEP,
URL = {http://www.computer.org/dt/dt1993/d3006abs.htm}
}
@INPROCEEDINGS{CODES01*17,
AUTHOR = {A. Fin and F. Fummi and M.
Martignano and M. Signoretto},
TITLE = {{SystemC}: {A} Homogenous Environment to Test Embedded
Systems},
PAGES = {17--22},
YEAR = {2001},
MONTH = APR,
BOOKTITLE = {Proceedings of the Ninth International Symposium on Hardware/Software Codesign (CODES-01)},
PUBLISHER = {ACMPress},
URL = {http://www.sigda.org/Archives/ProceedingArchives/Codes/Codes2001/papers/2001/codes01/pdffiles/1_3.pdf}
}
@INPROCEEDINGS{CODES01*18,
AUTHOR = {F. Slomka and M. D\"{o}rfel and R. M\"{u}nzenberger},
TITLE = {Generating Mixed Hardware/Software Systems from {SDL} Specifications},
PAGES = {116--121},
YEAR = {2001},
MONTH = APR,
BOOKTITLE = {Proceedings of the Ninth International Symposium on Hardware/Software Codesign (CODES-01)},
PUBLISHER = {ACMPress},
URL = {http://www.sigda.org/Archives/ProceedingArchives/Codes/Codes2001/papers/2001/codes01/pdffiles/5_1.pdf}
}
@INPROCEEDINGS{Sander,
AUTHOR = {I. Sander and A. Jantsch},
TITLE = {System Synthesis Utilizing a Layered Functional Model},
PAGES = {136--140},
YEAR = {1999},
MONTH = MAY,
BOOKTITLE = {Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES-99)},
PUBLISHER = {ACMPress},
URL = {http://www.acm.org/sigs/sigda/Archives/ProceedingArchives/Codes/Codes99/papers/1999/codes99/pdffiles/5_5.pdf}
}
@INPROCEEDINGS{sander99system,
AUTHOR = {I. Sander and A. Jantsch},
TITLE = {System Synthesis Based on a Formal Computational Model and Skeletons},
YEAR = {1999},
BOOKTITLE = {Proceedings of the IEEE Computer Society Annual Workshop on VLSI},
URL = {http://citeseer.nj.nec.com/sander99system.html}
}
@INPROCEEDINGS{Bates,
AUTHOR = {I. D. Bates and E. G. Chester and D. J. Kinniment},
TITLE = {A Statechart Based {HW}/{SW} Codesign System},
PAGES = {162--166},
YEAR = {1999},
MONTH = MAY,
BOOKTITLE = {Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES-99)},
PUBLISHER = {ACMPress},
URL = {http://www.sigda.org/Archives/ProceedingArchives/Codes/Codes99/papers/1999/codes99/pdffiles/6_5.pdf}
}
@INPROCEEDINGS{DaFJ97,
ADDRESS = {Toledo, Spain},
AUTHOR = {Jean-Marc Daveau and Gilberto Fernandes Marchioro and Ahmed Amine
Jerraya},
BOOKTITLE = {Hardware Description Languages and their Applications
(CHDL '97)},
EDITOR = {{C. Delgado Kloos} and {E. Cerny}},
KEY = {DaFJ97},
KEYWORD = {conference},
MONTH = APR,
ORGANIZATION = {IFIP WG 10.5},
PUBLISHER = {Chapman and Hall},
TITLE = {{VHDL} generation from {SDL} specification},
YEAR = {1997},
URL = {http://tima.imag.fr/sls/documents/chdl97.pdf}
}
@INPROCEEDINGS{NPK+02,
AUTHOR = {C. A. Marcon and F. P. Hessel and A. M. Amory and L. H. L. Ries and F. G. Moraes and N. L. V. Calazans},
TITLE = {PROTOTYPING OF EMBEDDED DIGITAL SYSTEMS FROM SDL LANGUAGE:
A CASE STUDY},
BOOKTITLE = {Proc. Seventh Annual IEEE International Workshop on High Level Design Validation and Test},
YEAR = {2002},
EDITOR = {},
PAGES = {},
ORGANIZATION = {},
PUBLISHER = {},
SERIES = {},
VOLUME = {},
MONTH = {},
NOTE = {To appear},
KEY = {},
URL = {http://www.inf.pucrs.br/~moraes/papers/2002_hldvt.pdf}
}
@TECHREPORT{Lee,
AUTHOR = {Edward A. Lee},
TITLE = {System-level Design methodology for Embedded Signal Processors},
INSTITUTION = {University of California at Berkeley},
YEAR = {1997},
NUMBER = {F33615-93-C-1317},
URL = {ptolemy.eecs.berkeley.edu/projects/rassp/ newsletters/rasspDigest96.pdf}
}
@PHDTHESIS{Edwards,
AUTHOR = {Stephen Anthony Edwards},
TITLE = {The Specification and Execution of Heterogeneous Synchronous Reactive Systems},
SCHOOL = {University of California, Berkeley},
YEAR = {1997},
URL = {http://ptolemy.eecs.berkeley.edu/papers/97/sedwardsThesis/sedwardsThesis.pdf}
}
@MASTERSTHESIS{Lu,
AUTHOR = {Zhonghai Lu},
TITLE = {Refinement of a System Specification for a Digital Equalizer into {HW} and {SW} Implementations},
SCHOOL = {Royal Institute of Technology},
YEAR = {2002},
TYPE = {January},
URL = {http://www.ele.kth.se/~axel/papers/2001/zhonghai-lu-masters.ps.gz}
}
@TECHREPORT{Cotofana,
AUTHOR = {Sorin Cotofana and Stephan Wong and Stamatis Vassiliadis},
TITLE = {Embedded Processors: Characteristics and Trends},
INSTITUTION = {Delft University of Technology},
YEAR = {2001},
URL = {http://citeseer.nj.nec.com/488408.html}
}
@TECHREPORT{edwards-design,
AUTHOR = {Stephen Anthony Edwards},
TITLE = {Design Languages for Embedded Systems},
INSTITUTION = {Synopsys, Inc.},
YEAR = {2001},
URL = {http://citeseer.nj.nec.com/edwards01design.html}
}
@INPROCEEDINGS{Jiang,
AUTHOR = {Yunjian Jiang and Robert K. Brayton},
TITLE = {Software synthesis from synchronous specifications using logic simulation techniques},
BOOKTITLE = {Proceedings of the 39th conference on Design automation},
YEAR = {2002},
ISBN = {1-58113-461-4},
PAGES = {319--324},
LOCATION = {New Orleans, Louisiana, USA},
DOI = {http://doi.acm.org/10.1145/513918.514002},
URL = {http://doi.acm.org/10.1145/513918.514002},
PUBLISHER = {ACM Press}
}
@INPROCEEDINGS{Bjureus,
AUTHOR = {Per Bjuréus and Axel Jantsch},
TITLE = {MASCOT: a specification and cosimulation method integrating data and control flow},
BOOKTITLE = {Proceedings of the conference on Design, automation and test in Europe},
YEAR = {2000},
ISBN = {1-58113-244-1},
PAGES = {161--168},
LOCATION = {Paris, France},
DOI = {http://doi.acm.org/10.1145/343647.343724},
URL = {http://doi.acm.org/10.1145/343647.343724},
PUBLISHER = {ACM Press}
}
@ARTICLE{Lee98,
AUTHOR = {Edward A. Lee and Alberto Sangiovanni-Vincentelli},
TITLE = {A Framework for comparing models of computation},
JOURNAL = {IEEE Transactions on Computer Aided Design},
YEAR = 1998,
VOLUME = {17},
NUMBER = {12},
PAGES = {1217--1229},
MONTH = DEC,
URL = {http://ptolemy.eecs.berkeley.edu/publications/papers/98/framework/}
}
@INPROCEEDINGS{Eker,
AUTHOR = {Johan Eker and Jörn W. Janneck and Edward A. Lee and Jee Liu and Xiaojun Liu and Jozsef Ludvig and Stephen Neuendorffer and Sonia Sachs and Yhong Xiong},
TITLE = {Taming Heterogeneity - the {P}tolemy approach},
BOOKTITLE = {Proceedings of the IEEE},
YEAR = {2002},
URL = {http://ptolemy.eecs.berkeley.edu/publications/papers/02/TamingHeterogeneity/}
}
@MISC{Coste,
AUTHOR = {P. Coste and F. Hessel and A.A. Jerraya},
TITLE = {Multilanguage Codesign Using {SDL} and {M}atlab},
URL = {http://citeseer.nj.nec.com/304130.html},
YEAR = {2000}
}
@ARTICLE{tessier01reconfigurable,
AUTHOR = {R. Tessier and W. Burleson},
TITLE = {Reconfigurable computing for digital signal processing: A survey},
JOURNAL = {Journal of VLSI Signal Processing},
YEAR = {2001},
VOLUME = {28},
NUMBER = {1},
PAGES = {7--27},
MONTH = JUN,
URL = {http://citeseer.nj.nec.com/tessier00reconfigurable.html}
}
@PHDTHESIS{stauner,
AUTHOR = {Thomas Markus Stauner},
TITLE = {Systematic Development of Hybrid Systems},
SCHOOL = {Institut f\"{u}r Informatik der Technischen Universit\"{a}t M\"{u}nchen},
YEAR = {2001},
URL = {http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2001/stauner.html}
}
@ARTICLE{chang,
AUTHOR = {Wah-Teh Chang and Soonhoi Ha and Edward A. Lee},
TITLE = {Heterogeneous Simulation -- Mixing Discrete-Event Models with Dataflow},
JOURNAL = {Journal of VLSI Signal Processing},
YEAR = {1997},
VOLUME = {15},
PAGES = {127--144},
URL = {http://ptolemy.eecs.berkeley.edu/publications/papers/97/heterogeneity/}
}
@ARTICLE{mangione,
AUTHOR = {William H. Mangione-Smith and Brad Hutchings and David Andrews and Andre DeHon and Carl Ebeling and Reiner Hartenstein and Oskar Mencer and John Morris and Krishna Palem and Viktor K. Prasanna and Henk A.E. Spaanenburg},
TITLE = {Seeking Solutions in Configurable Computing},
JOURNAL = {IEEE Computer},
YEAR = {1997},
VOLUME = {30},
NUMBER = {12},
PAGES = {38--43},
MONTH = {December},
URL = {http://www.computer.org/computer/co1997/rz038abs.htm}
}
@ARTICLE{kim,
AUTHOR = {Yongjoo Kim and Kyuseok Kim and Youngsoo Shin and Taekyoon Ahn and Kiyoung Choi},
TITLE = {An integrated cosimulation environment for heterogeneous systems prototyping},
JOURNAL = {Design Automation for Embedded Systems},
YEAR = {1998},
VOLUME = {3},
NUMBER = {2/3},
PAGES = {163--186},
MONTH = MAR,
URL = {http://poppy.snu.ac.kr/papers/DAES98.pdf}
}
@TECHREPORT{varea,
AUTHOR = {Mauricio Varea},
TITLE = {Mixed Control/Data-Flow Representation For Modelling And Verification Of Embedded Systems},
INSTITUTION = {University of Southampton},
YEAR = {2002},
MONTH = MAR,
URL = {http://citeseer.nj.nec.com/varea02mixed.html}
}
@INPROCEEDINGS{michelli,
AUTHOR = {Giovanni De Micheli and Rajesh K. Guipta},
TITLE = {Hardware/Software Co-Design},
BOOKTITLE = {Proceedings of the IEEE},
YEAR = {1997},
VOLUME = {85},
PAGES = {349--365},
MONTH = MAR,
URL = {http://chronos.stanford.edu/users/nanni/publications/archive/1997/proceedings349-365.pdf}
}
@ARTICLE{alur,
AUTHOR = {R. Alur and T. Dang and J. Esposito and Y. Hur and F. Ivan\v{c}i\'{c} and V. Kumar
and I. Lee and P. Mishra and G. Pappas and O. Sokolsky},
TITLE = {Hierarchical modeling and analysis of embedded systems},
JOURNAL = {Proceedings of the IEEE},
VOLUME = {91},
NUMBER = {1},
MONTH = {January},
YEAR = {2003},
URL = {http://citeseer.nj.nec.com/article/alur03hierarchical.html}
}
@ARTICLE{liu,
AUTHOR = {Xiaojun Liu and Jie Liu and Johan Eker and Edward A. Lee},
TITLE = {Heterogeneous modeling and design of control systems},
JOURNAL = {Software-Enabled Control: Information Technology for Dynamical Systems},
YEAR = {2002 },
NOTE = {To appear.},
URL = {http://ptolemy.eecs.berkeley.edu/publications/papers/01/controlsys/}
}
@PHDTHESIS{liu2001,
AUTHOR = {Jie Liu},
TITLE = {Responsible Frameworks for Heterogenous Modeling and Design of Embedded Systems},
SCHOOL = {University of California at Berkeley},
YEAR = {2001},
URL = {ptolemy.eecs.berkeley.edu/publications/ papers/01/responsibleFrameworks/}
}
@INPROCEEDINGS{eisenring,
AUTHOR = {M. Eisenring and J. Teich and L. Thiele},
ADDRESS = {Kona, Hawaii},
BOOKTITLE = {Proc. of HICSS-31, Proc. of the Hawai'i Int. Conf. on Syst. Sci.},
MONTH = {January},
PAGES = {187-196},
TITLE = {Rapid Prototyping of Dataflow Programs on Hardware/Software Architectures},
YEAR = {1998},
URL = {http://www.computer.org/proceedings/hicss/8251/8251toc.htm#82510187}
}
@ARTICLE{kienhuis,
AUTHOR = {Bart Kienhuis and Ed F. Deprettere and Pieter van der
Wolf and Kees Vissers},
TITLE = {A Methodology to Design Programmable Embedded Systems
--- The {Y}-Chart Approach},
JOURNAL = {Lecture Notes in Computer Science},
VOLUME = {2268},
PAGES = {18--??},
YEAR = {2002},
CODEN = {LNCSD9},
ISSN = {0302-9743},
URL = {http://link.springer-ny.com/link/service/series/0558/bibs/2268/22680018.htm}
}
@TECHREPORT{jantsch2000,
AUTHOR = {Axel Jantsch and Shashi Kumar and Ahmed Hemani},
TITLE = {The {R}ugby Meta-Model},
INSTITUTION = {Royal Institute of Technology},
YEAR = {2000},
MONTH = MAR,
URL = {http://citeseer.nj.nec.com/357320.html}
}
@ARTICLE{economist,
AUTHOR = {{The Economist}},
TITLE = {Bespoke chips for the common man},
JOURNAL = {The Economist},
YEAR = {2002},
MONTH = DEC,
NOTE = {12th},
URL = {http://www.economist.com/displayStory.cfm?Story_ID=1476825}
}
@TECHREPORT{ptolemyoverview,
AUTHOR = {John {Davis II} and Christopher Hylands and J. Janneck and Edward A. Lee and Jie Liu and Xiaojun Liu and Steve Neuendorffer and Sonia Sachs and Mary Stewart and Kees Vissers and Paul Whitaker and Yuhong Xiong},
TITLE = {Overview of the {P}tolemy Project},
INSTITUTION = {University of California at Berkeley},
YEAR = {2001},
MONTH = MAR,
URL = {http://ptolemy.eecs.berkeley.edu/publications/papers/01/overview/}
}
@INPROCEEDINGS{buck,
AUTHOR = {J. Buck and S. Ha and E. Lee and D. Messerschmitt},
TITLE = {Ptolemy: a Mixed Paradigm Simulation/Prototyping Platform in C++},
BOOKTITLE = {Conference Proceedings C++ At 163 Work},
YEAR = {1991},
URL = {http://citeseer.nj.nec.com/article/buck91ptolemy.html}
}
@INPROCEEDINGS{thiele,
AUTHOR = {L. Thiele and K. Strehl and D. Ziegenbein and R. Ernst and J. Teich},
ADDRESS = {San Jose, U.S.A.},
BOOKTITLE = {ICCAD'99, the IEEE/ACM Int. Conf. on Computer-Aided Design},
MONTH = NOV,
PAGES = {558-565},
TITLE = {Fun{S}tate - An Internal Design Representation for Codesign},
YEAR = {1999},
URL = {http://www.ece.cmu.edu/~ece767/papers/funstate.pdf}
}
@ARTICLE{ernst,
AUTHOR = {D. Ziegenbein and K. Richter and R. Ernst and L. Thiele and J. Teich},
JOURNAL = {IEEE Trans. on VLSI Systems},
TITLE = {{SPI}- A System Model for Heterogeneously Specified Embedded Systems},
YEAR = {2002}
}
@TECHREPORT{vsideliverables,
TITLE = {{VSI} Alliance Deliverables Document},
AUTHOR = {Various},
INSTITUTION = {{VSI} Alliance},
YEAR = 1999,
URL = {http://www.vsi.org/library/deliver080299.pdf}
}
@ARTICLE{ellervee,
AUTHOR = {P. Ellervee and S. Kumar and A. Jantsch and B. Svantesson and T. Meincke and A. Hemani},
TITLE = {IRSYD: An internal representation for heterogeneous embedded systems},
JOURNAL = {Proceedings of the NORCHIP Conference, Lund, Sweden},
YEAR = 1998,
MONTH = NOV,
URL = {http://mini.li.ttu.ee/~lrv/publications/norchip98.pdf}
}
@ARTICLE{schulz,
AUTHOR = {S. Schulz and J.W. Rozenblit},
TITLE = {Concepts for Model Compilation },
JOURNAL = {Proceedings of ICDA Conference},
YEAR = {2000},
URL = {http://www.ifip.or.at/con2000/icda2000/icda-13-3.pdf}
}
@MISC{neema,
AUTHOR = {Sandeep Neema},
TITLE = {System-level Synthesis of Adaptive Computing Systems},
MONTH = MAR,
YEAR = 2000,
URL = {http://www.isis.vanderbilt.edu/projects/core/bibliography/reconfighw/acs/neema-area.pdf}
}
@INPROCEEDINGS{wateren,
AUTHOR = {J. van der Wateren and A. M. Bos},
TITLE = {Real-time software testing throughout a projects life cycle using simulated hardware},
BOOKTITLE = {Proceedings of the 5th International Workshop on Simulation for European Space Programmes},
YEAR = {1998},
MONTH = NOV,
URL = {ftp://ftp.estec.esa.nl/pub/was/sesp98/041.pdf}
}
@ARTICLE{Zivkovic,
AUTHOR = {Vladimir D. \v{Z}ivkovi{\'c} and Paul Lieverse},
TITLE = {An Overview of Methodologies and Tools in the Field of
System-Level Design},
JOURNAL = {Lecture Notes in Computer Science},
VOLUME = {2268},
PAGES = {74--??},
YEAR = {2002},
CODEN = {LNCSD9},
ISSN = {0302-9743},
URL = {http://link.springer-ny.com/link/service/series/0558/bibs/2268/22680074.htm}
}
@PHDTHESIS{onils,
AUTHOR = {Mattias O'Nils},
TITLE = {Specification, Synthesis and Validation of Hardware/Software Interfaces},
SCHOOL = {Royal Institute of Technology, Sweden},
YEAR = {1999},
URL = {http://www.ele.kth.se/ESD/doc/ar99/mattias/thesis.ps}
}
@ARTICLE{keutzer,
AUTHOR = {K. Keutzer and S. Malik and R. Newton and J. Rabaey and A. L. Sangiovanni-Vincentelli},
TITLE = {System Level Design: Orthogonalization of Concerns and Platform--Based Design},
JOURNAL = {IEEE Trans. on CAD},
YEAR = {2000},
KEYWORDS = {HW/SW Codesign},
URL = {http://www-cad.eecs.berkeley.edu/Respep/Research/asves/embedded/platform_based/papers/tcad-system-level.pdf}
}
@ARTICLE{bhattacharyya,
JOURNAL = {IEEE Transactions on Circuits and Systems},
VOLUME = 47,
NUMBER = 9,
AUTHOR = {S. S. Bhattacharyya and R. Leupers and P. Marwedel},
TITLE = {Software synthesis and code generation for signal processing systems},
YEAR = {2000},
MONTH = SEP,
URL = {http://www.ece.umd.edu/DSPCAD/papers/bhat2000x6.pdf}
}
This file has been generated by
bibtex2html 1.54
For some of the online versions of the sources refered to an academic license may be required (such as in a university library).
These BibTex sources are part of my paper 'A survey of Co-Design Ideas and Technology'.