DocumentCode

2799966

Title

Session 3D - Exploiting arithmetic constructs in verification

fYear

2005

fDate

6-10 Nov. 2005

Firstpage

283

Lastpage

284

Keywords

Arithmetic;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer-Aided Design, 2005. ICCAD-2005. IEEE/ACM International Conference on

Print_ISBN

0-7803-9254-X

Type

conf

DOI

10.1109/ICCAD.2005.1560079

Filename

1560079