Title :
Reasoning about digital systems
Author_Institution :
Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
Abstract :
The author explores the uses of automated reasoning in the process of the design and analysis of digital systems. Reasoning and automated reasoning are discussed. Several examples of successful application of this technology are described, and current research is discussed
Keywords :
artificial intelligence; digital systems; automated reasoning; digital systems; Computer science; Concrete; Design automation; Digital systems; Fuzzy reasoning; Hardware; Laboratories; Process design; Silicon; System analysis and design;
Conference_Titel :
Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
Conference_Location :
Guangzhou
Print_ISBN :
0-8186-1947-3
DOI :
10.1109/ISMVL.1989.37751
