Constrained software generation for hardware-software systems

ABSTRACT

Mixed systems are composed of interacting hardware components such as general-purpose processors, application-specific circuits and software components that executes on the general purpose hardware. The software component consists of application-specific routines that must deliver the required system functionality and a runtime environment. Further, the software is required to deliver functionality under constraints on timing and memory storage available. In this paper, we consider methods to achieve software generation under imposed constraints and demonstrate the utility of our approach by examples.

REFERENCES

• 1: Donald E. Thomas , Jay K. Adams , Herman Schmit, A Model and Methodology for Hardware-Software Codesign, IEEE Design & Test, v.10 n.3, p.6-15, July 1993 [doi>10.1109/54.232468]
• 2: M. Chiodo et al., "Synthesis of mixed software-hardware implementations from CFSM specifications," in Intl. Wkshp. on Hardware-Software Co-design, Oct. 1993.
• 3: Rolf Ernst , Jorg Henkel , Thomas Benner, Hardware-Software Cosynthesis for Microcontrollers, IEEE Design & Test, v.10 n.4, p.64-75, October 1993 [doi>10.1109/54.245964]
• 4: Rajesh K. Gupta , Giovanni De Micheli, Hardware-Software Cosynthesis for Digital Systems, IEEE Design & Test, v.10 n.3, p.29-41, July 1993 [doi>10.1109/54.232470]
• 5: Giovanni De Micheli , David Ku , Frederic Mailhot , Thomas Truong, The Olympus Synthesis System, IEEE Design & Test, v.7 n.5, p.37-53, September 1990 [doi>10.1109/54.60605]
• 6: Ahmed Amine Jerraya , Kevin O'Brien , Tarek Ben Ismail, Linking System Design Tools and Hardware Design Tools, Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications, p.345-351, April 26-28, 1993
• 7: David C. Ku , Giovanni De Micheli, High level synthesis of ASICs under timing and synchronization constraints, Kluwer Academic Publishers, Norwell, MA, 1992
• 8: W. Wolf, R. Manno, "High-level modeling and synthesis of communicating processes using VHDL," IEICE Trans. Information & Systems, E76-D(9), pp. 1039--1046, Sept. 1993.
• 9: R. K. Gupta, G. D. Micheli, "Specification and analysis of constraints for hardware-software systems," To appear., 1994.
• 10: Rajesh Kumar Gupta, Co-synthesis of hardware and software for digital embedded systems, Stanford University, Stanford, CA, 1994
• 11: David A. Patterson , John L. Hennessy, Computer architecture: a quantitative approach, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1990
• 12: A. C. Shaw, Reasoning About Time in Higher-Level Language Software, IEEE Transactions on Software Engineering, v.15 n.7, p.875-889, July 1989 [doi>10.1109/32.29487]
• 13: A. Mok et al., "Evaluating Tight Execution Time Bounds of Programs by Annotations," in Proc. IEEE Wkshp. Real-Time Operating Systems & Software, pp. 74--80, May 1989.
• 14: C. Y. Park, A. C. Shaw, "Experiments with a Program Timing Tool Based on Source-Level Timing Schema," in Proc. Real-Time Systems Symposium, pp. 72--81, Dec. 1990.
• 15: W. Hardt, R. Camposano, "Trade-offs in HW/SW Code-sign," in Intl. Wkshp. on Hardware-Software Co-design, Oct. 1993.
• 16: Michael R. Garey , David S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman & Co., New York, NY, 1979
• 17: Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 18: P. Chou, G. Borriello, "Software scheduling in the Co-Synthesis of Reactive Real-Time Systems," in Intl. Wkshp. on Hardware-Software Co-design, Oct. 1993.
• 19: Y. Z. Liao , C. K. Wong, An algorithm to compact a VLSI symbolic layout with mixed constraints, Proceedings of the 20th conference on Design automation, p.107-112, June 27-29, 1983, Miami Beach, Florida, United States
• 20: G. J. Chaitin, Register allocation & spilling via graph coloring, ACM SIGPLAN Notices, v.17 n.6, p.98-101, June 1982