Affordable Access

Publisher Website

A theory for the derivation of combinational C-mos circuit designs

Authors
Journal
Theoretical Computer Science
0304-3975
Publisher
Elsevier
Publication Date
Volume
90
Issue
1
Identifiers
DOI: 10.1016/0304-3975(91)90309-p
Disciplines
  • Design
  • Logic
  • Philosophy

Abstract

Abstract This paper shows how propositional logic may be used to reason about synchronous combinational switching circuits implemented in C-mos. It develops a simple formalism and theory for describing and predicting their behaviour. On this it builds a calculus of design which is driven by proof obligations. The design philosophy for software introduced in [1] is thereby extended to a certain kind of hardware design. No prior knowledge of hardware is assumed of the reader; but useful background, motivation, examples and pictures may be found in [2]. Many of the problems described in that paper have been solved in this one.

There are no comments yet on this publication. Be the first to share your thoughts.