• DocumentCode
    932107
  • Title

    STRICT: a design language for strongly typed recursive integrated circuits

  • Author

    Campbell, Roy 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; specification languages; STRICT; consistency checking; design language; formal notation; recursive integrated circuits;
  • fLanguage
    English
  • Journal_Title
    Computers and Digital Techniques, IEE Proceedings E
  • Publisher
    iet
  • ISSN
    0143-7062
  • Type

    jour

  • DOI
    10.1049/ip-e.1985.0016
  • Filename
    4646456
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=932107