• DocumentCode
    945810
  • Title

    STRICT: a design language for strongly typed recursive integrated circuits

  • Author

    Campbell, R.H. ; Koelmans, A.M. ; McLauchlan, M.R.

  • Author_Institution
    University of Illinois, Department of Computer Science, Urbana, USA
  • Volume
    132
  • Issue
    2
  • fYear
    1985
  • fDate
    3/1/1985 12:00:00 AM
  • Firstpage
    108
  • Lastpage
    115
  • Abstract
    Chip designs should be produced by building from a large selection of appropriate component designs. Each component should be modular, but the resulting design should permit consistency checking. STRICT attempts to embody these principles in a formal notation for the design of integrated circuits.
  • Keywords
    VLSI; circuit CAD; integrated circuit technology; specification languages; CAD; STRICT; VLSI; computer-aided design; design language; recursive integrated circuits;
  • fLanguage
    English
  • Journal_Title
    Solid-State and Electron Devices, IEE Proceedings I
  • Publisher
    iet
  • ISSN
    0143-7100
  • Type

    jour

  • DOI
    10.1049/ip-i-1.1985.0023
  • Filename
    4648162
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=945810