DocumentCode
3087055
Title
Reasoning about digital systems
Author
Wojcik, A.S.
Author_Institution
Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
fYear
1991
fDate
26-29 May 1991
Firstpage
2
Lastpage
6
Abstract
The uses of automated reasoning in the process of the design and analysis of digital systems are explored. A discussion of reasoning and automated reasoning is presented. Several examples of successful application of this technology are described, and current research is discussed. The author mentions AURA (automated reasoning assistant), ITP (interactive theorem prover) and flow nets
Keywords
digital systems; inference mechanisms; logic design; AURA; ITP; automated reasoning; automated reasoning assistant; digital systems; flow nets; interactive theorem prover; Application software; Computer science; Design automation; Digital systems; Fuzzy reasoning; Hardware; Laboratories; Large Hadron Collider; Process design; Silicon;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International Symposium on
Conference_Location
Victoria, BC
Print_ISBN
0-8186-2145-1
Type
conf
DOI
10.1109/ISMVL.1991.130696
Filename
130696
Link To Document