DocumentCode
2455482
Title
Reasoning about digital systems
Author
Wojcik, A.S.
Author_Institution
Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
fYear
1989
fDate
29-31 May 1989
Firstpage
2
Lastpage
6
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
Conference_Location
Guangzhou
Print_ISBN
0-8186-1947-3
Type
conf
DOI
10.1109/ISMVL.1989.37751
Filename
37751
Link To Document