DocumentCode

3338073

Title

SoC Verification

Author

Wang, Duen-Jeng ; Narayan, Sanjiv

Author_Institution

SureFire Verification

fYear

1999

fDate

18-18 Sept. 1999

Firstpage

25

Lastpage

26

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