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
fDate :
3/1/1985 12:00:00 AM
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;
Journal_Title :
Solid-State and Electron Devices, IEE Proceedings I
DOI :
10.1049/ip-i-1.1985.0023
