ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems

ABSTRACT

The design of multiprocessor architectures differs from uniprocessor systems in that the number of processors and their interconnection must be considered. This leads to an enormous increase in the design-space exploration time, which is exponential in the total number of system components. The methodology proposed here, called Intelligent Concurrent Object-Oriented Synthesis (ICOS) methodology, makes feasible the synthesis of complex multiprocessor systems through the application of several techiques that speed up the design process. ICOS is based on Performance Synthesis Methodology (PSM), a recently proposed object-oriented system-level design methodology. Four major techniques: object-oriented design, fuzzy design-space exploration, concurrent design, and intelligent reuse of complete subsystems are integrated in ICOS. First, object-oriented modeling and design, through the use of object-oriented relationships and operators, make the whole design process manageable and maintainable in ICOS. Second, fuzzy comparison applied to the specializations or instances of components reduces the exponential growth of design-space exploration in ICOS. Third, independent components from different design alternatives are synthesized in parallel; this design concurrency shortens the overall design time. Lastly, the resynthesis of complete subsystems can be avoided through the application of learning, thus making the methodology intelligent enough to reuse previous design configurations. Experiments show that all these applied techniques contribute to the synthesis efficiency and the degree of automation in ICOS.

REFERENCES

• 1: V. De Antonellis , B. Pernici, Reusing specifications through refinement levels, Data & Knowledge Engineering, v.15 n.2, p.109-133, April 1995 [doi>10.1016/0169-023X(94)00033-B]
• 2: W. P. Birmingham , A. P. Gupta , D. P. Siewiorek, The MICON system for computer design, Proceedings of the 26th ACM/IEEE conference on Design automation, p.135-140, June 25-28, 1989, Las Vegas, Nevada, United States [doi>10.1145/74382.74406]
• 3: Men-Chow Chiang , Gurindar S. Sohi, Evaluating Design Choices for Shared Bus Multiprocessors in a Throughput-Oriented Environment, IEEE Transactions on Computers, v.41 n.3, p.297-317, March 1992 [doi>10.1109/12.127442]
• 4: Moon Jung Chung , Sangchul Kim, An object-oriented VHDL design environment, Proceedings of the 27th ACM/IEEE conference on Design automation, p.431-436, June 24-27, 1990, Orlando, Florida, United States [doi>10.1145/123186.123328]
• 5: R. Dutta , J. Roy , R. Vemuri, Distributed design-space exploration for high-level synthesis systems, Proceedings of the 29th ACM/IEEE conference on Design automation, p.644-650, June 08-12, 1992, Anaheim, California, United States
• 6: GADIENT, A. J. AND THOMAS, D. E. 1993. A dynamic approach to controlling high-level synthesis CAD tools. IEEE Trans. Very Large Scale Integr. Syst. 1, 3 (Sept.), 328-341.
• 7: GUPTA, A. P., BIRMINGHAM, W. P., AND SIEWIOREK, D. P. 1993. Automating the design of computer systems. IEEE Trans. Comput.-Aided Des. Integr. Circuits 12, 4 (Apr.), 473-487.
• 8: HSIUNG, P.-A. 1996. System level synthesis for parallel computers. Ph.D. Dissertation. Graduate Institute of Electrical Engineering, National Taiwan University, Taipei, Taiwan.
• 9: Pao-Ann Hsiung , Sao-Jie Chen , Tsung-Chien Hu , Shih-Chiang Wang, PSM: an object-oriented synthesis approach to multiprocessor system design, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.4 n.1, p.83-97, March 1996 [doi>10.1109/92.486083]
• 10: HSIUNG, P.-A., LEE, T.-Y., AND CHEN, S.-J. 1997. MOBnet: An extended Petri net model for the concurrent object-oriented system-level synthesis of multiprocessor systems. IEICE Trans. Inf. Syst. ESO-D, 2 (Feb.), 232-242.
• 11: Eric Q. Kang , Rung-Bin Lin , Eugene Shragowitz, Fuzzy logic approach to VLSI placement, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.2 n.4, p.489-501, Dec. 1994 [doi>10.1109/92.335016]
• 12: KODRATOFF, Y. 1988. Introduction to Machine Learning. Morgan Kaufmann Publishers Inc., San Francisco, CA.
• 13: Sanjaya Kumar , James H. Aylor , Barry W. Johnson , Wm. A. Wulf, Object-Oriented Techniques in Hardware Design, Computer, v.27 n.6, p.64-70, June 1994 [doi>10.1109/2.294857]
• 14: Yang Kyu Lee , Sung Joo Park, OPNets: an object-oriented high-level Petri net model for real-time system modeling, Journal of Systems and Software, v.20 n.1, p.69-86, Jan. 1993 [doi>10.1016/0164-1212(93)90049-4]
• 15: R.-B. Lin , E. Shragowitz, Fuzzy logic approach to placement problem, Proceedings of the 29th ACM/IEEE conference on Design automation, p.153-158, June 08-12, 1992, Anaheim, California, United States
• 16: S. A. Mabbs , K. E. Forward, Performance analysis of MR-1, a clustered shared-memory multiprocessor, Journal of Parallel and Distributed Computing, v.20 n.2, p.158-175, Feb. 1994 [doi>10.1006/jpdc.1994.1016]
• 17: MITCHELL, T. M., MAHADEVAN, S., AND STEINBERG, L. I. 1985. LEAP: A learning apprentice for VLSI design. In Proceedings of the 9th Conference on IJCAI (IJCAI), 573-580.
• 18: M Razaz , J Gan, Fuzzy set based initial placement for IC layout, Proceedings of the conference on European design automation, March 12-15, 1990, Glasgow, Scotland
• 19: James Rumbaugh , Michael Blaha , William Premerlani , Frederick Eddy , William Lorensen, Object-oriented modeling and design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• 20: SCIENTIFIC AND ENGINEERING SOFTWARE, INC, 1992. SES/Workbench User's Manual Release 2.1.
• 21: SHAW, M., WULF, W., AND LONDON, R., Eds. 1981. Abstraction and Verification in Alphard: Iteration and Generators. Springer-Verlag, New York, NY.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.1 PROCESSOR ARCHITECTURES

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.3 Deduction and Theorem Proving
          Subjects: Deduction (e.g., natural, rule-based)
      I.2.6 Learning
          Subjects: Analogies; Knowledge acquisition

  J. Computer Applications
  J.6 COMPUTER-AIDED ENGINEERING
      Subjects: Computer-aided design (CAD)

General Terms:
Design

Keywords:
concurrent object-oriented system-level synthesis, fuzzy design-space exploration, learning