DocumentCode :
922283
Title :
Equivalence checking at Cray Research
Author :
Mctavish, Doug
Volume :
33
Issue :
6
fYear :
1996
fDate :
6/1/1996 12:00:00 AM
Firstpage :
71
fLanguage :
English
Journal_Title :
Spectrum, IEEE
Publisher :
ieee
ISSN :
0018-9235
Type :
jour
DOI :
10.1109/MSPEC.1996.499956
Filename :
499956
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=922283
