Circal: A calculus for circuit description

Research output: Contribution to journalArticle

18 Citations (Scopus)

Abstract

A calculus in which the behaviour of circuits may be described and analysed is presented. A concurrent composition operator allows descriptions of components to be composed to give descriptions of a complete device. This operator allows synchronous and asynchronous behaviour to be naturally modelled so allowing us to represent and analyse timing issues in circuits. An abstraction operator allows for the formalisation of hierarchical design notions and causes the behaviour of a circuit to be described only in terms of its potential interactions with the environment. To illustrate the use of the calculus, various VLSI circuits have their behaviour described in Circal.

Original languageEnglish
Pages (from-to)121-160
Number of pages40
JournalIntegration, the VLSI Journal
Volume1
Issue number2-3
DOIs
Publication statusPublished - 1 Jan 1983
Externally publishedYes

Fingerprint Dive into the research topics of 'Circal: A calculus for circuit description'. Together they form a unique fingerprint.

  • Cite this