مرکز منطقه ای اطلاع رساني علوم و فناوري - Formal Verification of a Superscalar Execution Unit

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

Link To Document :