DocumentCode :
416244
Title :
A general decomposition strategy for verifying register renaming
Author :
Shehata, Hazem I. ; Aagaard, Mark D.
Author_Institution :
University of Waterloo, CANADA
fYear :
2004
fDate :
7-11 July 2004
Firstpage :
234
Lastpage :
237
Keywords :
Algorithm design and analysis; Circuits; Councils; Data engineering; Hazards; Out of order; Permission; Registers; Scholarships; Sufficient conditions;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference, 2004. Proceedings. 41st
Conference_Location :
San Diego, CA, USA
ISSN :
0738-100X
Print_ISBN :
1-51183-828-8
Type :
conf
Filename :
1322477
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=416244
بازگشت