DocumentCode

1835125

Title

Formal verification - prove it or pitch it

Author

Gupta, Rajesh

Author_Institution

University of California at San Diego

fYear

2003

fDate

2-6 June 2003

Firstpage

710

Lastpage

711

Keywords

Chip scale packaging; Costs; Formal verification; Graphics; Humans; Microprocessors; Productivity; Solid modeling; Testing; Very large scale integration;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 2003. Proceedings

Print_ISBN

1-58113-688-9

Type

conf

DOI

10.1109/DAC.2003.157436

Filename

1219111