DocumentCode

2567792

Title

Formal Verification of a Superscalar Execution Unit

Author

Nelson, Kyle L. ; Jain, Alok ; Bryant, Randal E.

Author_Institution

IBM Corporation

fYear

1997

fDate

9-13 June 1997

Firstpage

161

Lastpage

166

Keywords

Bridges; Computer science; Dispatching; Formal verification; Modems; Permission; Pipelines; Power system modeling; Protocols; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 1997. Proceedings of the 34th

Conference_Location

Anaheim, CA, USA

ISSN

0738-100X

Print_ISBN

0-7803-4093-0

Type

conf

DOI

10.1109/DAC.1997.597137

Filename

597137