DocumentCode
3149585
Title
A Model for Hardware Description and Verification
Author
Milne, George J.
Author_Institution
Department of Computer Science, University of Edinburgh, Edinburgh, Scotland
fYear
1984
fDate
25-27 June 1984
Firstpage
251
Lastpage
257
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation, 1984. 21st Conference on
ISSN
0738-100X
Print_ISBN
0-8186-0542-1
Type
conf
DOI
10.1109/DAC.1984.1585803
Filename
1585803
Link To Document