Title :
FPGA based white box verifleation methodology for SOC design
Keywords :
Application specific integrated circuits; Costs; Design methodology; Field programmable gate arrays; Formal verification; Hardware; Monitoring; Probes; Testing;
Conference_Titel :
Multi Topic Conference, 2002. Abstracts. INMIC 2002. International
Conference_Location :
Karachi
Print_ISBN :
0-7803-7715-X
DOI :
10.1109/INMIC.2002.1310156
