A model for hardware description and verification

Authors:
George J. Milne
Affiliations:
Department of Computer Science, University of Edinburgh, Edinburgh, Scotland
Venue:
DAC '84 Proceedings of the 21st Design Automation Conference
Year:
1984

Citing 3
Cited 3

Communicating sequential processes

Communications of the ACM
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Introduction to VLSI Systems

Introduction to VLSI Systems

CIRCAL and the representation of communication, concurrency, and time

ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
An Algebraic Model for Asynchronous Circuits Verification

IEEE Transactions on Computers
A methodology for hardware verification based on logic simulation

Journal of the ACM (JACM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Integrated circuit verification is required to establish the correctness of a circuit design before fabrication. This paper proposes CIRCAL as a model in which to describe the behaviour of devices in a natural, concise and accurate manner. CIRCAL supports a number of verification techniques which allow for the formal analysis of circuit behaviour. Properties of the model are outlined while simulation and proof techniques using CIRCAL are presented.