Applying the propose&revise strategy to the hardware-software partitioning problem

  • M. L. López-Vallejo
  • C.A. Iglesias
  • J. C. López
3 Formal Tools Fuzzy Knowledge Representation and Inference
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1415)


Hardware-software Co-design is a new discipline that provides methodologies and tools for the fast development of complex heterogeneous systems by combining hardware and software development cycles. This paper shows how the Propose&Revise PSM can be used to solve the hardware-software partitioning problem, the Co-design task that makes the decision on the best implementation of the different components of a system. In particular, a fuzzy expert system, SHAPES, has been developed following the CommonKADS methodology.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. A. Breuker and W. Van de Velde, editors. The CommonKADS Library. Netherlands Energy Research Foundation ECN, Swedish Inst. of Comp. Sci., Siemens, Univ. of Amsterdam and Free Univ. of Brussels, November 1993. Technical report, ESPRIT Project P5248.Google Scholar
  2. 2.
    C. Carreras, J. C. Lòpez, M. L. Lòpez-Vallejo, C. Delgado-Kloos, N. Martìnez, and L. Sánchez. A Co-Design Methodology Based on Formal Specification and High-Level Estimation. In Proc. Workshop on HW/SW Co-Design, 1996.Google Scholar
  3. 3.
    P. Eles, Z. Peng, K. Kuchcinski, and A. Doboli. System Level Hardware/ Software Partitioning based on Simulated Annealing and Tabu Search. Design Automation for Embedded Systems, 2(1):5–32, January 1997.CrossRefGoogle Scholar
  4. 4.
    R. Ernst, J. Henkel, and T. Benner, Hardware-Software Cosynthesis for Microcontrollers. IEEE Design & Test of Computers, pages 64–75, Dec 1993.Google Scholar
  5. 5.
    M. Fares and B. Kaminsa. Exploring the test space with fuzzy decision making. IEEE Design & Test of Computers, pages 17–27, Fall 1994.Google Scholar
  6. 6.
    R. K. Gupta and G. De Micheli. HW-SW Cosynthesis for Digital Systems. IEEE Design & Test of Computers, pages 29–41, 1993.Google Scholar
  7. 7.
    A. Kalavade and E. A. Lee. The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling and Implementation-bin Selection. Journal of Design Automation of Embedded Systems, 2(2):125–164, March 1997.CrossRefGoogle Scholar
  8. 8.
    A. Th. Schreiber, B. J. Wielinga, J. M. Akkermans, and W. Van de Velde. CommonKADS: A comprehensive methodology for KBS development. Deliverable DM1.2a KADS-II/M1/RR/UvA/70/1.1, University of Amsterdam, Netherlands Energy Research Foundation ECN and Free University of Brussels, 1994.Google Scholar
  9. 9.
    A. Trouble, J. Chávez, and L. G. Franquelo. FASY: an fuzzy tool for analog synthesis. IEEE trans. on CAD, 15(7):705–714, Jul 1996.CrossRefGoogle Scholar
  10. 10.
    F. Vahid and T. Le. Extending the Kernighan/Lin Heuristic for Hardware and Software Functional Partitioning. Design Automation for Embedded Systems, 2(2):237–261, March 1997.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag 1998

Authors and Affiliations

  • M. L. López-Vallejo
    • 1
  • C.A. Iglesias
    • 2
  • J. C. López
    • 1
  1. 1.Dpto. de Irigeniería Electrónica, E.T.S.I. TelecomunicaciònUniversidad Politécnica de MadridMadridSpain
  2. 2.Dpto. de Teorfa de la Señal, Comunicaciones e Ing. Telemática, E.T.S.I. TelecomunicaciònUniversidad de ValladolidValladolidSpain

Personalised recommendations