Concurrent computations and VLSI circuits

M. Rem

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Abstract

VLSI is a medium in which computations can be realized that exhibit a high degree of concurrency. Concurrent computations require a very careful design technique, for, as we know, uncontrolled concurrency results in uncontrollable complexity. This observation makes complexity control a conditio sine qua non for VLSI design. We know of only one effective technique of complexity control: modular design. Using this technique, the design of a component amounts to the choice of subcomponents and relations. The relations express how the parts (the subcomponents) constitute the whole. Designing the subcomponents in a similar fashion, we obtain hierarchical components. Given the specifications of the subcomponents and the way in which the subcomponents constitute the component, we must be able to show that the whole component meets its specification. The specifications should not reflect the internal structures of the components: they must specify their net effects only.
Original languageEnglish
Title of host publicationControl flow and data flow
Subtitle of host publicationconcepts of distributed programming (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 31-August 12, 1984)
EditorsM. Broy
Place of PublicationBerlin
PublisherSpringer
Chapter9
Pages399-437
Number of pages39
ISBN (Electronic)978-3-642-82921-5
ISBN (Print)978-3-540-17082-2
DOIs
Publication statusPublished - 1985

Publication series

NameNATO ASI Series, Series F: Computer and Systems Sciences
Volume14
ISSN (Print)1387-6694

Fingerprint Dive into the research topics of 'Concurrent computations and VLSI circuits'. Together they form a unique fingerprint.

Cite this