Verification of digital circuits based on formal semantics of a hardware description language

Reasoning about properties of hardware behaviour needs a formal method. The more this process can be mechanized the more practicable is it. In this paper, basic concepts of a special verification system for the formal verification of digital circuits are presented. Higher-order Logic serves as the f...

Full description

Saved in:

Bibliographic Details
Published in:	Euro-DAC '92, European Design Automation Conference : Euro-VHDL '92, Congress Centrum Hamburg, Hamburg, Germany, September 7-10, 1992 pp. 98 - 103
Main Author:	Mutz, Matthias
Format:	Conference Proceeding Journal Article
Language:	English
Published:	Los Alamitos, CA, USA IEEE Computer Society Press 1992
Series:	ACM Conferences
Subjects:	Computing methodologies > Symbolic and algebraic manipulation > Symbolic and algebraic algorithms > Theorem proving algorithms Hardware > Electronic design automation > Hardware description languages and compilation Hardware > Hardware validation > Functional verification Theory of computation > Models of computation > Computability
ISBN:	0818627808, 9780818627804
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!