IASys : an integrated approach to system-level synthesis

IASys is an integrated approach to system-level synthesis which allows a complete computer system to be specified using a set of high-level building blocks rather than behavioral level specifications. By reusing domain-specific design knowledge, alternative hardware and software configurations can be rapidly specified and synthesized. Thirty-two different embedded computer systems were synthesized generating a design space with variations of 45% in cost, 20% in power, 120% in area, 50% in program size, and 2000% in performance.

[1]  Richard C. Waters,et al.  Artificial intelligence and software engineering , 1990 .

[2]  John P. McDermott,et al.  R1 ("XCON") at Age 12: Lessons from an Elementary School Achiever , 1993, Artificial Intelligence.

[3]  Krzysztof Kuchcinski,et al.  Automated transformation of algorithms into register-transfer level implementations , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[4]  Daniel P. Siewiorek,et al.  A case study in embedded-system design: The VuMan 2 wearable computer , 1993, IEEE Design & Test of Computers.

[5]  Ellis Horowitz,et al.  A survey of Application Generators , 1985, IEEE Software.

[6]  Edmond Schonberg,et al.  Programming with Sets: An Introduction to SETL , 1986 .

[7]  Richard C. Waters,et al.  Automatic programming: myths and prospects , 1988, Computer.

[8]  Daniel Brand,et al.  In the driver's seat of BooleDozer , 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[9]  Mohamed Abid,et al.  COSMOS: a codesign approach for communicating systems , 1994, CODES.

[10]  Michael R. Lowry,et al.  Automating software design , 1989, Digest of Papers. COMPCON Spring 89. Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage.

[11]  Norman Hendrich,et al.  Silicon compilation and rapid prototyping of microprogrammed VLSI-Circuits with MIMOLA and SOLO 1400 , 1992, Microprocess. Microprogramming.

[12]  Donald E. Thomas,et al.  Algorithmic and Register-Transfer Level Synthesis: The System Architect's Workbench , 1989 .

[13]  Masahiro Fujita,et al.  ZEPHCAD and FLORA: logic synthesis for control and datapath , 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[14]  William P. Birmingham,et al.  Automating the design of computer systems , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..