System specification with the SpecCharts language
暂无分享,去创建一个
[1] Frank Vahid,et al. Translating system specifications to VHDL , 1991, Proceedings of the European Conference on Design Automation..
[2] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[3] Frank Vahid,et al. Modeling with SpecCharts , 1990 .
[4] Frank Vahid,et al. Specification partitioning for system design , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
[5] A. Pnueli,et al. STATEMATE: a working environment for the development of complex reactive systems , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.
[6] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[7] Donald E. Thomas,et al. The Verilog® Hardware Description Language , 1990 .
[8] Giovanni De Micheli,et al. HERCULES-a system for high-level synthesis , 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..
[9] Frank Vahid,et al. System Level Specification and Synthesis , 1992, The Fifth International Conference on VLSI Design.
[10] 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.
[11] Daniel Gajski,et al. System clock estimation based on clock slack minimization , 1992, Proceedings EURO-DAC '92: European Design Automation Conference.