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