HAL: A multi-paradigm approach to automatic data path synthesis

Proceedings - Design Automation Conference

Volumn Part F130197, Issue , 1988, Pages 587-594

  Paulin, P G ^a   Knight, J P ^b   Girczyc, E F ^c  

^a NORTEL NETWORKS   (Canada)

^b CARLETON UNIVERSITY   (Canada)

^c UNIVERSITY OF ALBERTA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; DATA FLOW ANALYSIS; DATA FLOW GRAPHS; DATA REDUCTION; EXPERT SYSTEMS; GRAPHIC METHODS;

EXISTING SYSTEMS; KNOWLEDGE-BASED EXPERT SYSTEMS; MULTI-PARADIGM PROGRAMMING SYSTEMS; PERFORMANCE SPECIFICATIONS; PROGRAMMING PARADIGMS; SPEED CONSTRAINTS; SYNTHESIS PROCESS; SYSTEM IMPLEMENTATION;

FIGHTER AIRCRAFT;

EID: 79954499635     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/62882.62953     Document Type: Conference Paper

References (19)

1. D. Johannsen, "Bristle Blocks: A Silicon Compiler", Proceedings of the 16th Design Automation Conference, June 1979, pp. 310-313.
2. A.V. Goldberg, S.S. Hirschhorn, K.J. Lieberherr, "Approaches Toward Silicon Compilation", IEEE Circuits and Devices Magazine, May 1985, pp. 29-39.
3. A.C. Parker, "Automated Synthesis of Digital Systems", IEEE Design C. Test, November 1984, pp. 75-81.
4. S.G. Shiva and P.F. Klon, "The VHSIC Hardware Description Language", VLSI Design, June 1985, pp. 86-106.
5. D.E. Thomas et al, "Automatic Data Path Synthesis", IEEE Computer, December 1983, pp. 59-70.
6. J. Allen, "Computer Architecture for Digital Signal Processing", Proceedings of the IEEE, May 1985, pp. 852-873.
7. G.A. Frank, D.L. Franke, W.F. Ingogly, "An Architecture Design and Assessment System", VLSI Design, August 1985, pp. 30-50.
8. E.F. Girczyc and J.P. Knight, "An ADA to Standard Cell Hardware Compiler Based on Graph Grammars and Scheduling", Proc. of the IEEE International Conference on Computer Design (ICCD), October 1984, pp. 726-731.
9. T. Uehara, "A Knowledge-Based Logic Design System", IEEE Design & Test, October 1985, pp. 27-34.
10. T.J. Kowalski, D. J. Geiger, W.H. Wolf, and W. Fichtner, "The VLSI Design Automation Assistant: From Algorithms to Silicon", IEEE Design & Test, August 1985, pp. 33-43.
11. J.R. Southard, "MacPitts: An Approach to Silicon Compilation", IEEE Computer, December 1983, pp. 74-82.
12. C. Tseng, D.P. Siewiorek, "Facet: A Procedure for the Automated Synthesis of Digital Systems", Proceedings of the 20th Design Automation Conference, 1983, pp. 490-496.
13. T.J. Kowalski and D.E. Thomas, "The VLSI Design Automation Assistant: An IBM System/370 Design", IEEE Design & Test, February 1985, pp. 60-69.
14. E.M. Reingold, J. Nievergelt, N. Deo, "Combinatorial Algorithms: Theory and Practice", Prentice-Hall, 1977.
15. P. Winston and B. Horn, "LISP", Addison-Wesley, 1981.
16. M. Stefik, D. Bobrow, S. Mittal, L. Conway, "Knowledge Programming in LOOPS: Report on an Experimental Course", The AI Magazine, Fall 1983, pp. 3-13.
17. A. Borgida, S. Greenspan, J. Mylopoulos, "Knowledge Representation as the Basis for Requirements Specifications", IEEE Computer, April 1985, pp. 82-91.
18. G. Birtwistle et al, "Simula Begin", Philadelphia: Auerbach, 1973.
19. The Xerox Learning Group, "The Smalltalk-80 System", Byte Magazine, August 1981, pp. 36-48.