Title :
Reasoning about digital systems
Author_Institution :
Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
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;
Conference_Titel :
Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International Symposium on
Conference_Location :
Victoria, BC
Print_ISBN :
0-8186-2145-1
DOI :
10.1109/ISMVL.1991.130696
