TY  - RPRT
TI  - Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback
AU  - Peter-Michael Seidel
PY  - 2011
DO  - 10.4204/eptcs.70.6
UR  - https://arxiv.org/abs/1110.4675
ID  - 1110.4675
ER  -