Polynomial datapath optimization using constraint solving and formal modelling.

Finn Haedicke, Bijan Alizadeh, Grschwin Fey, Masahiro Fujita, Rolf Drechsler

Browse the full ICCAD paper archive.