![](/img/cover-not-exists.png)
[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Efficient decision procedure for non-linear arithmetic constraints using CORDIC
Ganai, Malay K., Ivancic, FranjoYear:
2009
Language:
english
DOI:
10.1109/FMCAD.2009.5351140
File:
PDF, 240 KB
english, 2009