DocumentCode :
1054730
Title :
Hardware Verification
Author :
Maruyama, F.
Author_Institution :
Fujitsu Laboratories Masahiro Fujita, University of Tokyo
Volume :
18
Issue :
2
fYear :
1985
Firstpage :
22
Lastpage :
32
Keywords :
Algorithm design and analysis; Automata; Automatic control; Digital systems; Formal verification; Hardware; Logic circuits; Mathematics;
fLanguage :
English
Journal_Title :
Computer
Publisher :
ieee
ISSN :
0018-9162
Type :
jour
DOI :
10.1109/MC.1985.1662796
Filename :
1662796
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1054730
