摘要: MiniBit, our automated approach for optimizing bit-widths of fixed-point designs is based on static analysis via affine arithmetic. We describe methods to minimize both the integer and fraction parts signals with aim minimizing circuit area. Our range technique identifies number bits required. For precision analysis, we employ a semi-analytical analytical error models in conjunction adaptive simulated annealing find optimum bits. Improvements given design reduce area latency by up 20% 12% respectively, over uniform Xilinx Virtex-4 FPGA.

参考文章(8)
O. Mencer, D.J. Pearce, L.W. Howes, W. Luk, Design space exploration with A Stream Compiler field-programmable technology. pp. 270- 277 ,(2003) , 10.1109/FPT.2003.1275757
Lester Ingber, ADAPTIVE SIMULATED ANNEALING (ASA) Research Papers in Economics. ,(2012)
A.A. Gaffar, O. Mencer, W. Luk, P.Y.K. Cheung, Unifying bit-width optimisation for fixed-point and floating-point designs field-programmable custom computing machines. pp. 79- 88 ,(2004) , 10.1109/FCCM.2004.59
R. Cmar, L. Rijnders, P. Schaumont, S. Vernalde, I. Bolsens, A methodology and design environment for DSP ASIC fixed point refinement Proceedings of the conference on Design, automation and test in Europe - DATE '99. pp. 56- ,(1999) , 10.1145/307418.307503
Claire Fang Fang, Rob A. Rutenbar, Markus Püschel, Tsuhan Chen, Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling design automation conference. pp. 496- 501 ,(2003) , 10.1145/775832.775960
O. Sentieys, D. Menard, Automatic Evaluation of the Accuracy of Fixed-Point Algorithms design, automation, and test in europe. pp. 529- 535 ,(2002) , 10.5555/882452.874330
Rob A. Rutenbar, Claire F. Fang, Tsuhan Chen, Fast, Accurate Static Analysis for Fixed-Point Finite-Precision Effects in DSP Designs international conference on computer aided design. pp. 275- 282 ,(2003) , 10.5555/996070.1009903
De Figueiredo, Self-validated numerical methods and applications Brazilian Mathematics Colloquium Monograph, IMPA, Rio de Janeiro, Brazil. ,(1997)