Skip to main content
SpringerLink
Log in

Description of a design management system for the P-ASIC design flow using EXPDL

  • Published:
Formal Methods in System Design Aims and scope Submit manuscript

Abstract

The Extended Process Description Language (EXPDL) is introduced. EXPDL is a formal language that can be used to describe design manipulating processes (tools) and the interactions of these processes. This article demonstrates how EXPDL can be used to create a design management system that provides guidance for CAD system users. This design management system is constructed using executable EXPDL representations of three types of knowledge incorporated in a CAD system: tool specific, CAD system specific, and application specific. As an example the P-ASIC Design Flow will be used which is a CAD system used by Philips for the synthesis of ASICs.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. K.W. Fiduk, S. Kleinfeldt, M. Kosarchyn, and E.B. Perez. Design methodology management—A CAD Framework Initiative Perspective. InProceedings of the 27th ACM/IEEE Design Automation Conference, Orlando, FL, June 1990, pp. 278–283, IEEE, New York.

  2. C. Frydman, N. Giambiasi, M. Gatumel, and P. Bayle, DeBuMa: Description, building and management of applications. InProceedings of the 26th ACM/IEEE Design Automation Conference. Las Vegas Convention Center, June 1989, pp. 203–208, IEEE, New York.

  3. J. Daniell and S.W. Director. An object oriented approach to CAD tool control within a design framework. InProceedings of the 26th ACM/IEEE Design Automation Conference, Las Vegas Convention Center, June 1989, pp. 197–202, IEEE, New York.

  4. R. Milner.Communication and Concurrency. Prentice Hall, London, 1989.

    Google Scholar 

  5. C.A.R. Hoare.Communicating Sequential Processes. Prentice Hall, Englewood Cliffs, NJ 1985.

    Google Scholar 

  6. J. Woodcock and M. Loomes.Software Engineering Mathematics. Pitman, London, 1989.

    Google Scholar 

  7. R.B.W. Gerritsen, R.J. Kemp, and J.P. de Stigter. P-ASIC synthesis course: Logic synthesis using Cynthia-P., Philips Electronics N.V., Eindhoven 1990.

    Google Scholar 

  8. A.C. Verschueren. An object oriented design and simulation system for VLSI. InProceedings Euromicro-90: Hardware and Software in System Engineering. Amsterdam, August 1990, pp. 241–246, North Holland, Amsterdam.

Download references

Author information

Authors and Affiliations

  1. Faculty of Electrical Engineering, Digital Systems Group (EB), Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    W. M. H. M. Rovers

Authors
  1. W. M. H. M. Rovers
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rovers, W.M.H.M. Description of a design management system for the P-ASIC design flow using EXPDL. Form Method Syst Des 4, 155–166 (1994). https://doi.org/10.1007/BF01384082

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01384082

Keywords

Search

Navigation