Multilanguage specification for system design
暂无分享,去创建一个
Nacer-Eddine Zergainoh | Ahmed Amine Jerraya | Fabiano Hessel | G. F. Marchioro | J. M. Daveau | P. Coste | Carlos Valderrama | M. Romdhani | Ph. Le Marrec | A. Jerraya | C. Valderrama | M. Romdhani | F. Hessel | J. Daveau | N. Zergainoh | P. Marrec | P. Coste | G. Marchioro
[1] Ahmed Amine Jerraya,et al. Behavioral Synthesis and Component Reuse with VHDL , 1996 .
[2] Giovanni De Micheli,et al. Run-time scheduler synthesis for hardware-software systems and application to robot control design , 1997, Proceedings of 5th International Workshop on Hardware/Software Co Design. Codes/CASHE '97.
[3] Giovanni De Micheli,et al. Synthesis and simulation of digital systems containing interacting hardware and software components , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
[4] J. Michael Spivey,et al. An introduction to Z and formal specifications , 1989, Softw. Eng. J..
[5] Michael Jackson,et al. Conjunction as composition , 1993, TSEM.
[6] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .
[7] Ahmed Amine Jerraya,et al. VHDL generation from SDL specifications , 2001 .
[8] Clifford Liem,et al. Retargetable Compilers for Embedded Core Processors: Methods and Experience in Industrial Applications , 1997 .
[9] Mario Barbacci,et al. Instruction set processor specifications (ISPS): The notation and its applications , 1981, IEEE Transactions on Computers.
[10] Giovanni De Micheli,et al. Hardware C - A Language for Hardware Design , 1988 .
[11] Mohamed Abid,et al. A unified model for co-simulation and co-synthesis of mixed hardware/software systems , 1995, Proceedings the European Design and Test Conference. ED&TC 1995.
[12] Gérard Berry,et al. A hardware implementation of pure ESTEREL , 1992 .
[13] 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..
[14] Pierre G. Paulin,et al. DSP design tool requirements for embedded systems: A telecommunications industrial perspective , 1995, J. VLSI Signal Process..
[15] Dirk Herrmann,et al. An approach to the adaptation of estimated cost parameters in the COSYMA system , 1994, Third International Workshop on Hardware/Software Codesign.
[16] Steven P. Reiss. Working in the Garden Environment for Conceptual Programming , 1987, IEEE Software.
[17] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[18] Frank Waters,et al. The B Book , 1971 .
[19] Edward A. Lee,et al. A hardware-software codesign methodology for DSP applications , 1993, IEEE Design & Test of Computers.
[20] Gérard Berry,et al. The ESTEREL Synchronous Programming Language and its Mathematical Semantics , 1984, Seminar on Concurrency.
[21] Daniel D. Gajski,et al. Synthesis from VHDL , 1988, Proceedings 1988 IEEE International Conference on Computer Design: VLSI.
[22] Jianwen Zhu,et al. Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..
[23] Leon Stok,et al. Architectural synthesis and optimization of digital systems , 1991 .
[24] A. Jeffroy,et al. Evaluation and composition of specification languages, an industrial point of view , 1995, Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair.
[25] Dominique Borrione,et al. CONLAN Report , 1983, Lecture Notes in Computer Science.
[26] Stanislaw Budkowski,et al. An Introduction to Estelle: A Specification Language for Distributed Systems , 1987, Comput. Networks.
[27] Ahmed Amine Jerraya,et al. Hardware, software and mechanical cosimulation for automotive applications , 1998, Proceedings. Ninth International Workshop on Rapid System Prototyping (Cat. No.98TB100237).
[28] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.
[29] Hugo De Man,et al. CoWare—A design environment for heterogeneous hardware/software systems , 1996, EURO-DAC '96/EURO-VHDL '96.
[30] Donald L. Dietmeyer,et al. A Digital System Design Language (DDL) , 1968, IEEE Transactions on Computers.
[31] de Gg Gjalt Gerrit Jong,et al. Generalized data flow graphs : theory and applications , 1993 .
[32] Robin Milner,et al. Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..
[33] Ahmed Amine Jerraya,et al. Automatic generation of interfaces for distributed C-VHDL cosimulation of embedded systems: an industrial experience , 1996, Proceedings Seventh IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype.
[34] Frank Vahid,et al. System specification and synthesis with the SpecCharts language , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
[35] Minh N. Do,et al. Youn-Long Steve Lin , 1992 .
[36] Gerard J. Holzmann,et al. Design and validation of computer protocols , 1991 .
[37] Frank Vahid,et al. SpecCharts: a VHDL front-end for embedded systems , 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[38] C. Delgado Kloos,et al. From Lotos to VHDL , 1995 .
[39] Gregory R. Andrews,et al. Concurrent programming - principles and practice , 1991 .
[40] Jochen A. G. Jess,et al. Exact scheduling strategies based on bipartite graph matching , 1995, Proceedings the European Design and Test Conference. ED&TC 1995.
[41] Rolf Ernst,et al. A path-based technique for estimating hardware runtime in HW/SW-cosynthesis , 1995 .
[42] Alan M. Davis,et al. Software requirements - analysis and specification , 1990 .
[43] Clifford Liem,et al. Retargetable Compilers for Embedded Core Processors , 1997, Springer US.
[44] Luciano Lavagno,et al. Hardware-software codesign of embedded systems , 1994, IEEE Micro.
[45] Daniel D. Gajski,et al. SpecCharts : A Language for System Level Synthesis , 1991 .
[46] Herman Schmit,et al. A Model and Methodology for Hardware-Software Codesign , 1993, IEEE Des. Test Comput..
[47] Diederik Verkest,et al. Co-Design of DSP Systems , 1996 .
[48] Jan Madsen,et al. Hardware/Software Partitioning Using the Lycos System , 1997 .
[49] Nicolas Halbwachs,et al. Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE , 1992, IEEE Trans. Software Eng..
[50] Jeroen Bruijning. Evaluation and Integration of Specification Languages , 1987, Comput. Networks.
[51] Wolfgang Rosenstiel,et al. A method for partitioning UNITY language in hardware and software , 1994, EURO-DAC '94.
[52] Paul Le Guernic,et al. SIGNAL: A declarative language for synchronous programming of real-time systems , 1987, FPCA.
[53] Giovanni De Micheli,et al. Relative scheduling under timing constraints , 1991, DAC '90.
[54] Frank Vahid,et al. A system-design methodology: executable-specification refinement , 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.
[55] Daniel D. Gajski,et al. High ― Level Synthesis: Introduction to Chip and System Design , 1992 .
[56] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[57] Gregor von Bochmann. Specification Languages for Communication Protocols , 1993, CHDL.
[58] Russ Klein,et al. Miami: a hardware software co-simulation environment , 1996, Proceedings Seventh IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype.