Title :
A Model for Hardware Description and Verification
Author :
Milne, George J.
Author_Institution :
Department of Computer Science, University of Edinburgh, Edinburgh, Scotland
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.
Keywords :
Analytical models; Calculus; Circuit simulation; Circuit synthesis; Circuit testing; Costs; Hardware; Silicon compiler; Timing; Very large scale integration;
Conference_Titel :
Design Automation, 1984. 21st Conference on
Print_ISBN :
0-8186-0542-1
DOI :
10.1109/DAC.1984.1585803
