A Comparative Evaluation of Models and Specification Languages for Embedded System Design
暂无分享,去创建一个
[1] James R. Armstrong,et al. VHDL Design Representation and Synthesis , 2000 .
[2] Jean-Marc Daveau,et al. Automating the Design of SOCs Using Cores , 2001, IEEE Des. Test Comput..
[3] Gérard Berry,et al. The ESTEREL Synchronous Programming Language and its Mathematical Semantics , 1984, Seminar on Concurrency.
[4] Daniel D. Gajski,et al. SpecCharts : A Language for System Level Synthesis , 1991 .
[5] Daniel Gajski,et al. An Introduction to High-Level Synthesis , 2009, IEEE Design & Test of Computers.
[6] Giovanni De Micheli,et al. Synthesis and Optimization of Digital Circuits , 1994 .
[7] F. Slomka,et al. Generating mixed hardware/software systems from SDL specifications , 2001, Ninth International Symposium on Hardware/Software Codesign. CODES 2001 (IEEE Cat. No.01TH8571).
[8] Edward A. Lee,et al. Interaction of finite state machines and concurrency models , 1998, Conference Record of Thirty-Second Asilomar Conference on Signals, Systems and Computers (Cat. No.98CH36284).
[9] Jianwen Zhu,et al. OpenJ: an extensible system level design language , 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).
[10] Ed F. Deprettere,et al. Exploring Embedded-Systems Architectures with Artemis , 2001, Computer.
[11] Daniel D. Gajski,et al. The Specc Methodology , 2000 .
[12] Koichi Nishida,et al. A C-based synthesis system, Bach, and its application , 2001, Proceedings of the ASP-DAC 2001. Asia and South Pacific Design Automation Conference 2001 (Cat. No.01EX455).
[13] Mats Per Erik Heimdahl,et al. Generating code from hierarchical state-based requirements , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.
[14] Mark R. Greenstreet,et al. Formal verification in hardware design: a survey , 1999, TODE.
[15] Peter Flake,et al. Superlog, a unified design language for system-on-chip , 2000, Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106).
[16] Luciano Lavagno,et al. Embedded UML: a merger of real-time UML and co-design , 2001, Ninth International Symposium on Hardware/Software Codesign. CODES 2001 (IEEE Cat. No.01TH8571).
[17] Petru Eles,et al. A Petri Net based Model for Heterogeneous Embedded Systems , 1999 .
[18] E.A. Lee,et al. A comparison of synchronous and cycle-static dataflow , 1995, Conference Record of The Twenty-Ninth Asilomar Conference on Signals, Systems and Computers.
[19] Jianwen Zhu,et al. Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..
[20] Grant Martin,et al. Surviving the SOC Revolution , 1999, Springer US.
[21] Giovanni De Micheli,et al. Hardware C - A Language for Hardware Design , 1988 .
[22] Petru Eles,et al. A Survey on Hardware/Software Codesign Representation Models , 1999 .
[23] Perry Alexander,et al. Rosetta: Semantic Support for Model-Centered Systems-Level Design , 2001, Computer.
[24] Edward A. Lee,et al. Hierarchical concurrent finite state machines in Ptolemy , 1998, Proceedings 1998 International Conference on Application of Concurrency to System Design.