Codesign from Cospecification

Computer

Volumn 27, Issue 1, 1994, Pages 42-47

  Woo, Nam S ^a   Dunlop, Alfred E ^a   Wolf, Wayne ^b  

^a LUCENT TECHNOLOGIES   (United States)

^b PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; DATA PROCESSING; LOGIC DESIGN; OBJECT ORIENTED PROGRAMMING;

CODESIGN; COSPECIFICATION; PACKET MANIPULATION;

COMPUTER PROGRAMMING;

EID: 0028192014     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/2.248879     Document Type: Article

References (6)

1. JSP and JSD: The Jackson Approach to Software Development, J.Cameron, ed., IEEE CS Press, Los Alamitos. Calif. Order No. 858-04T 1989.
2. P. Zave and W. Schell, “Salient Features of an Executable Specification Language and its Environment,” IEEE Trans. on Software Eng., Vol. 12, No. 2, Feb, 1986, pp. 312-325.
3. D. Harel, “Statecharts: A Visual Formalism for Complex System”, Science of Computer Programming. Vol. 8. No. 3, 1987, pp. 231-274.
4. D. Thomas et al., Algorithmic and Register-Transfer-Level Synthesis: The System Architect's Workbench, Kluwer Academic Publishers, Boston, 1990.
5. R. Gupta and G. De Michell, “Hardware-Software Cosynthesis for Digital Systems”, ‘IEEE Design & Test, Sept. 1993, pp. 29-41.
6. R. Ernst J. Henkel, and T. Benner, “Hardware-Software Cosynthesis for Microcontrollers”, IEEE Design & Test. Dec. 1993, pp. 64–75.