ePrints

STRICT: A Design Language for Strongly Typed Recursive Integrated Circuits

Lookup NU author(s): Dr Albert Koelmans, Martin McLauchlan

Downloads

• Published version [.pdf]

Abstract

Chip designs should be processed 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.

Publication metadata

Author(s): Campell RH, Koelmans AM, McLauchlan MR

Series Editor(s): Elphick MJ

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1986

Pages: 20

Print publication date: 01/04/1986

Source Publication Date: April 1986

Report Number: 211

Institution: Computing Laboratory, The University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

Share