Redesigning hardware-software systems

ABSTRACT

During the life cycle of a digital reactive real-time system implemented as a hardware-software board or chip, some of its components must be redesigned, either because a refocusing of the product market resulted in a specification change, or because bugs in the specification were found at a later stage of the design.We address the problem of automatically checking if a new version of a specification can utilize a hardware-software implementation of a previous version of the same specification by just changing the software portion of the design.The redesigning strategy we propose is divided into four phases. In the first phase, we check which parts of the specification were changed. In the second phase, we extract timing constraints from the previous hardware implementation that must be satisfied by the new software implementation. Then, we schedule and select the instructions in the software routine such that the timing constraints are observed. Finally, we check if the final implementation satisfies the specification rate constraints of the design.We present an example of a keyboard/mouse device, and we show that the hardware-software synthesis system can be made robust with respect to small changes in the specification.

REFERENCES

• 1: Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 2: E. Barros, W. Rosenstiel, and X. Xiong. Hardware/Software Partitioning with UNITY. In Notes of Workshop on Hardware/Software Co-design, October 1993.
• 3: M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni Vincentelli. Synthesis of mixed software-hardware implementations from CFSM specifications. In International Workshop on Hardware-Software Co-design, October 1993.
• 4: Pai Chou , Gaetano Borriello, Software scheduling in the co-synthesis of reactive real-time systems, Proceedings of the 31st annual conference on Design automation, p.1-4, June 06-10, 1994, San Diego, California, United States [doi>10.1145/196244.196247]
• 5: Pai Chou , Elizabeth A. Walkup , Gaetano Borriello, Scheduling for Reactive Real-Time Systems, IEEE Micro, v.14 n.4, p.37-47, August 1994 [doi>10.1109/40.296156]
• 6: 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]
• 7: Rajesh Kumar Gupta, Co-synthesis of hardware and software for digital embedded systems, Stanford University, Stanford, CA, 1994
• 8: R. K. Gupta , C. N. Coelho, Jr. , G. De Micheli, Synthesis and simulation of digital systems containing interacting hardware and software components, Proceedings of the 29th ACM/IEEE conference on Design automation, p.225-230, June 08-12, 1992, Anaheim, California, United States
• 9: Rajesh K. Gupta , Claudionor N. Coelho, Jr. , Giovanni De Micheli, Program Implementation Schemes for Hardware-Software Systems, Computer, v.27 n.1, p.48-55, January 1994 [doi>10.1109/2.248880]
• 10: C. N. Coelho Jr., D. Ku, and G. De Micheli. An algebra for modeling concurrent digital circuits. In ACM International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, 1993.
• 11: Claudionor N Coelho , Giovanni DeMicheli, Analysis and Synthesis of Concurrent Digital Circuits Using Control-Flow Expressions, Stanford University, Stanford, CA, 1996
• 12: David C. Ku , Giovanni De Micheli, High level synthesis of ASICs under timing and synchronization constraints, Kluwer Academic Publishers, Norwell, MA, 1992
• 13: P. Kission, E. Closse, L. Bergher, and A. Jerraya. Industrial Experimentation in High-Level Synthesis. In Proceedings of the European Design Automation Conference with EURO-VHDL, pages 506--511, September 1993.
• 14: Todd Alan Proebsting, Code generation techniques, University of Wisconsin at Madison, Madison, WI, 1992
• 15: 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]
• 16: Nam S. Woo , Alfred E. Dunlop , Wayne Wolf, Codesign from Cospecification, Computer, v.27 n.1, p.42-47, January 1994 [doi>10.1109/2.248879]