A formal method for hardware IP design and integration under I/O and timing constraints
暂无分享,去创建一个
Emmanuel Casseau | Philippe Coussy | Eric Martin | Pierre Bomel | Adel Baganne | P. Coussy | E. Casseau | E. Martin | A. Baganne | P. Bomel
[1] John P. Elliott. Understanding Behavioral Synthesis: A Practical Guide to High-Level Design , 1999 .
[2] Axel Jantsch,et al. System design for DSP applications using the MASIC methodology , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.
[3] Sujit Dey,et al. System-level performance analysis for designing on-chipcommunication architectures , 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[4] Giovanni De Micheli,et al. Interface optimization for concurrent systems under timing constraints , 1993, IEEE Trans. Very Large Scale Integr. Syst..
[5] Ahmed Amine Jerraya,et al. A system-level communication synthesis approach for hardware/software systems , 1996, Microprocess. Microsystems.
[6] Hugo De Man,et al. Formalized three-layer system-level model and reuse methodology for embedded data-dominated applications , 2000, IEEE Trans. Very Large Scale Integr. Syst..
[7] Michel Auguin,et al. CODEF: a system level design space exploration tool , 2001, 2001 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.01CH37221).
[8] Peter Duzy,et al. High-level synthesis from VHDL with exact timing constraints , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
[9] Wayne H. Wolf,et al. Communication synthesis for distributed embedded systems , 1995, ICCAD.
[10] Daniel Gajski,et al. Synthesis of system-level bus interfaces , 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.
[11] Hugo De Man,et al. Cathedral-III : architecture-driven high-level synthesis for high throughput DSP applications , 1991, 28th ACM/IEEE Design Automation Conference.
[12] Jean Luc Philippe,et al. A formal technique for hardware interface design , 1998 .
[13] Bill Lin,et al. Synthesis Of Concurrent System Interface Modules With Automatic Protocol Conversion Generation , 1994, IEEE/ACM International Conference on Computer-Aided Design.
[14] Gaetano Borriello,et al. Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems , 1994, 31st Design Automation Conference.
[15] Grant Martin,et al. Surviving the SOC Revolution: A Guide to Platform-Based Design , 1999 .
[16] Jörg Henkel,et al. Adaptation of partitioning and high-level synthesis in hardware/software co-synthesis , 1994, ICCAD.
[17] Bill Lin,et al. Synthesis of concurrent system interface modules with automatic protocol conversion generation , 1994, ICCAD.
[18] Eric Senn,et al. A memory aware behavioral synthesis tool for real-time VLSI circuits , 2004, GLSVLSI '04.
[19] Ron Miller,et al. Scheduling using behavioral templates , 1995, DAC '95.
[20] Ahmed Amine Jerraya,et al. Validation in a component-based design flow for multicore SoCs , 2002, 15th International Symposium on System Synthesis, 2002..
[21] Ahmed Amine Jerraya,et al. Protocol selection and interface generation for HW-SW codesign , 1997, IEEE Trans. Very Large Scale Integr. Syst..
[22] Giovanni De Micheli,et al. Automated composition of hardware components , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
[23] Jean Luc Philippe,et al. A formal technique for hardware interface design , 1997, Proceedings of 1997 IEEE International Symposium on Circuits and Systems. Circuits and Systems in the Information Age ISCAS '97.
[24] Jan Madsen,et al. An approach to interface synthesis , 1995, Proceedings of the Eighth International Symposium on System Synthesis.
[25] Philippe Coussy,et al. A design methodology for IP integration , 2002, 2002 IEEE International Symposium on Circuits and Systems. Proceedings (Cat. No.02CH37353).
[26] Chak-Kuen Wong,et al. An Algorithm to Compact a VLSI Symbolic Layout with Mixed Constraints , 1983, 20th Design Automation Conference Proceedings.
[27] Giovanni De Micheli,et al. Relative scheduling under timing constraints: algorithms for high-level synthesis of digital circuits , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[28] Sujit Dey,et al. Performance analysis of a system of communicating processes , 1997, ICCAD 1997.
[29] Gaetano Borriello,et al. Interval Scheduling: Fine-Grained Code Scheduling for Embedded Systems , 1995, 32nd Design Automation Conference.
[30] Luciano Lavagno,et al. Synthesis of Mixed Software-Hardware Implementations from CFSM Specifications , 1993 .
[31] Laurent Freund,et al. A Codesign Experiment in Acoustic Echo Cancellation: GMDFa , 1996, TODE.
[32] John A. Nestor,et al. SALSA: a new approach to scheduling with timing constraints , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[33] Alberto L. Sangiovanni-Vincentelli,et al. Automatic synthesis of interfaces between incompatible protocols , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
[34] Daniel Gajski,et al. Interfacing Incompatible Protocols Using Interface Process Generation , 1995, 32nd Design Automation Conference.
[35] David L. Dill,et al. Algorithms for interface timing verification , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
[36] Alexandru Turjan,et al. Solving Out of Order communication using CAM memory ; an implementation , 2002 .
[37] Francky Catthoor,et al. Custom Memory Management Methodology: Exploration of Memory Organisation for Embedded Multimedia System Design , 1998 .
[38] Jan Madsen,et al. Integrating communication protocol selection with hardware/software codesign , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[39] Guy Gogniat,et al. Communication synthesis and HW/SW integration for embedded system design , 1998, Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98).
[40] Frédéric Pétrot,et al. A practical tool box for system level communication synthesis , 2001, Ninth International Symposium on Hardware/Software Codesign. CODES 2001 (IEEE Cat. No.01TH8571).
[41] Wayne Wolf,et al. Hardware-Software Co-Synthesis of Distributed Embedded Systems , 1996 .
[42] Wayne Wolf,et al. Communication synthesis for distributed embedded systems , 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
[43] Amor Nafkha,et al. A methodology for IP integration into DSP SoC: a case study of a MAP algorithm for turbo decoder , 2004, 2004 IEEE International Conference on Acoustics, Speech, and Signal Processing.
[44] Rolf Ernst,et al. Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
[45] Daniel Gajski,et al. Model Refinement for Hardware-Software Codesign , 1996, TODE.
[46] Emmanuel Casseau,et al. A Methodology for Behavioral Virtual Component Specification Targeting SoC Design with High-Level Synthesis Tools , 2001 .
[47] Alberto L. Sangiovanni-Vincentelli,et al. Interface-based design , 1997, DAC.
[48] Daniel D. Gajski,et al. High ― Level Synthesis: Introduction to Chip and System Design , 1992 .
[49] Alexandru Turjan,et al. A Compile Time Based Approach for Solving Out-of-Order Communication in Kahn Process Networks , 2002, ASAP.
[50] M. Abid,et al. IP integration methodology for SoC design , 2004, Proceedings. The 16th International Conference on Microelectronics, 2004. ICM 2004..
[51] Gaetano Borriello,et al. Interface co-synthesis techniques for embedded systems , 1995, ICCAD.
[52] R. Seepold. Virtual Socket Interface Alliance , 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).
[53] Francky Catthoor,et al. Custom Memory Management Methodology , 1998, Springer US.
[54] Sujit Dey,et al. Performance analysis of a system of communicating processes , 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
[55] Thomas A. Henzinger,et al. INTERFACE-BASED DESIGN , 2005 .
[56] Ron Miller,et al. Behavioral Synthesis Methodology for HDL-Based Specification and Validation , 1995, 32nd Design Automation Conference.
[57] Daniel D. Gajski,et al. SPECC: Specification Language and Methodology , 2000 .
[58] Armin Bender,et al. Design of an optimal loosely coupled heterogeneous multiprocessor system , 1996, Proceedings ED&TC European Design and Test Conference.
[59] John P. Elliott. Understanding Behavioral Synthesis , 1999, Springer US.
[60] Gaetano Borriello,et al. Interface Timing Verification with Application to Synthesis , 1994, 31st Design Automation Conference.