مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

3338073

Title :

SoC Verification

Author :

Wang, Duen-Jeng ; Narayan, Sanjiv

Author_Institution :

SureFire Verification

fYear :

1999

fDate :

18-18 Sept. 1999

Firstpage :

Lastpage :

Keywords :

Formal verification; Hardware design languages; Process design; Testing;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

ASIC/SOC Conference, 1999. Proceedings. Twelfth Annual IEEE International

Conference_Location :

Washington, DC, USA

Print_ISBN :

0-7803-5632-2

Type :

conf

DOI :

10.1109/ASIC.1999.806466

Filename :

806466

Link To Document :