Functional abstraction driven design space exploration of heterogeneous programmable architectures

ABSTRACT

Rapid Design Space Exploration (DSE) of a programmable architecture is feasible using an automatic toolkit (compiler, simulator, assembler) generation methodology driven by an Architecture Description Language (ADL). While many contemporary ADLs can effectively capture one class of architecture, they are typically unable to capture a wide spectrum of processor and memory features present in DSP, VLIW, EPIC and Superscalar processors. The main bottleneck has been the lack of an abstraction underlying the ADL (covering a diverse set of architectural features) that permits reuse of the abstraction primitives to compose the heterogeneous architectures. We present in this paper the functional abstraction needed to capture such wide variety of programmable architectures. We illustrate the usefulness of this approach by specifying two very different architectures using functional abstraction. Our DSE results demonstrate the power of reuse in composing heterogeneous architectures using functional abstraction primitives allowing for a reduction in the time for specification and exploration by at least an order of magnitude.

REFERENCES

• 1: G. Goosens et al. CHESS: Retargetable code generation for embedded DSP processors. In Code Generation for Embedded Processors. Kluwer, 1997.
• 2: George Hadjiyiannis , Silvina Hanono , Srinivas Devadas, ISDL: an instruction set description language for retargetability, Proceedings of the 34th annual conference on Design automation, p.299-302, June 09-13, 1997, Anaheim, California, United States [doi>10.1145/266021.266108]
• 3: V. Zivojnovic et al. LISA - machine description language and generic machine model for HW/SW co-design. In VLSI Signal Processing, 1996.
• 4: M. Freericks. The nML machine description formalism. TR SM-IMP/DIST/08, TU Berlin, 1993.
• 5: Tony D. Givargis , Frank Vahid, Parameterized system design, Proceedings of the eighth international workshop on Hardware/software codesign, p.98-102, May 2000, San Diego, California, United States [doi>10.1145/334012.334031]
• 6: Ashok Halambi , Peter Grun , Vijay Ganesh , Asheesh Khare , Nikil Dutt , Alex Nicolau, EXPRESSION: a language for architecture exploration through compiler/simulator retargetability, Proceedings of the conference on Design, automation and test in Europe, p.100-es, January 1999, Munich, Germany [doi>10.1145/307418.307549]
• 7: David A. Patterson , John L. Hennessy, Computer architecture: a quantitative approach, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1990
• 8: A. Hoffman , T. Kogel , H. Meyr, A framework for fast hardware-software co-simulation, Proceedings of the conference on Design, automation and test in Europe, p.760-765, March 2001, Munich, Germany
• 9: Axel Jantsch , Ingo Sander, On the roles of functions and objects in system specification, Proceedings of the eighth international workshop on Hardware/software codesign, p.8-12, May 2000, San Diego, California, United States [doi>10.1145/334012.334014]
• 10: M. Koegst , P. Conradi , D. Garte , M. Wahl, A systematic analysis of reuse strategies for design of electronic circuits, Proceedings of the conference on Design, automation and test in Europe, p.292-296, February 23-26, 1998, Le Palais des Congrés de Paris, France
• 11: R. Leupers and P. Marwedel. Retargetable code generation based on structural processor descriptions. Design Automation for Embedded Systems, 3(1), 1998.
• 12: M. Meerwein , C. Baumgartner , W. Glauert, Linking codesign and reuse in embedded systems design, Proceedings of the eighth international workshop on Hardware/software codesign, p.93-97, May 2000, San Diego, California, United States [doi>10.1145/334012.334030]
• 13: P. Mishra et al. Functional abstraction of programmable embedded systems. TR UCI-ICS 01-04, 2001.
• 14: P. Mishra et al. A study of out-of-order completion for the MIPS R10K superscalar processor. TR UCI-ICS 01-06, University of California, Irvine, 2001.
• 15: P. Mishra et al. Memory subsystem description in EXPRESSION. TR UCI-ICS 00-31, 2000.
• 16: Prabhat Mishra , Peter Grun , Nikil Dutt , Alex Nicolau, Processor-Memory Co-Exploration driven by a Memory-Aware Architecture Description Language, Proceedings of the The 14th International Conference on VLSI Design (VLSID '01), p.70, January 03-07, 2001
• 17: P. Mishra et al. Coprocessor codesign for programmable architectures. TR UCI-ICS 01-13, 2001.
• 18: Francois Pogodalla , Richard Hersemeule , Pierre Coulomb, Fast prototyping: a system design flow for fast design, prototyping and efficient IP reuse, Proceedings of the seventh international workshop on Hardware/software codesign, p.69-73, March 1999, Rome, Italy [doi>10.1145/301177.301215]
• 19: V. Rajesh , R. Moona, Processor Modeling for Hardware Software Codesign, Proceedings of the 12th International Conference on VLSI Design - 'VLSI for the Information Appliance', p.132, January 10-13, 1999
• 20: Annette Reutter , Wolfgang Rosenstiel, An efficient reuse system for digital circuit design, Proceedings of the conference on Design, automation and test in Europe, p.9-es, January 1999, Munich, Germany [doi>10.1145/307418.307444]
• 21: Chuck Siska, A processor desription language supporting retargetable multi-pipeline DSP program development tools, Proceedings of the 11th international symposium on System synthesis, p.31-36, December 02-04, 1998, Hsinchu, Taiwan, China
• 22: The MDES User Manual, 1997. www.trimaran.org

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.0 GENERAL
      Subjects: Modeling of computer architecture

Additional Classification:
  B. Hardware
  B.7 INTEGRATED CIRCUITS
      B.7.1 Types and Design Styles
          Subjects: Algorithms implemented in hardware

  C. Computer Systems Organization
  C.0 GENERAL
      Subjects: Instruction set design (e.g., RISC, CISC, VLIW)

General Terms:
Design, Experimentation, Performance

Keywords:
ADL, DSP, VLIW, design space exploration, functional abstraction, programmable architecture, superscalar