Finite precision bit-width allocation using SAT-Modulo Theory

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2009, Pages 1106-1111

  Kinsman, Adam B ^a   Nicolici, Nicola ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYTICAL METHOD; BIT-WIDTH; FINITE PRECISION; NUMERICAL CALCULATION; SAT MODULO THEORIES;

COMPUTATION THEORY;

EID: 70350068407     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/date.2009.5090829     Document Type: Conference Paper

References (15)

1. P. Belanovic andM. Rupp. Automated Floating-point to Fixed-point Conversion with the Fixify Environment. In Proc. International Workshop on Rapid System Prototyping, pages 172-178, 2005.
2. S. Boyd and L. Vandenberghe. Convex Optimization. Cambridge University Press, 2004.
3. R. L. Burden and J. D. Faires. Numerical Analysis, 7th Edition. Brooks Cole, 2000.
4. C. Fang, R. Rutenbar, and T. Chen. Fast, Accurate Static Analysis for Fixed-point Finite-precision Effects in DSP Designs. In Proc. International Conference on Computer Aided Design (ICCAD), pages 275-282, 2003.
5. M. Franzle and C. Herde. HySAT: An Efficient Proof Engine for Bounded Model Checking of Hybrid Systems. Formal Methods in System Design, 30(3):178-198, June 2007.
6. D.-U. Lee, A. Gaffar, R. Cheung, O. Mencer, W. Luk, and G. Constantinides. Accuracy-Guaranteed Bit-Width Optimization. IEEE Transactions on Computer-Aided Design, 25(10):1990-2000, October 2006.
7. J. Lopez, C. Carreras, and O. Nieto-Taladriz. Improved Interval-Based Characterization of Fixed-Point LTI Systems With Feedback Loops. IEEE Transactions on Computer Aided Design, 26(11):1923-1933, November 2007.
8. A. Mallik, D. Sinha, P. Banerjee, and H. Zhou. Low-Power Optimization by Smart Bit-Width Allocation in a SystemC-Based ASIC Design Environment. IEEE Transactions on Computer-Aided Design, pages 447-455, March 2007.
9. R. Moore. Interval Analysis. Prentice Hall, 1966.
10. W. Osborne, R. Cheung, J. Coutinho, W. Luk, and O. Mencer. Automatic Accuracy-Guaranteed Bit-Width Optimization for Fixed and Floating-Point Systems. In Proc. International Conference on Field Programmable Logic and Applications (FPL), pages 617-620, 2007.
11. K. Sano, T. Iizuka, and S. Yamamoto. Systolic Architecture for Computational Fluid Dynamics on FPGAs. In Proc. International Symposium on Field-Programmable Custom Computing Machines, pages 107-116, 2007.
12. R. Scrofano, M. Gokhale, F. Trouw, and V. Prasanna. Accelerating Molecular Dynamics Simulations with Reconfigurable Computers. IEEE Transactions on Parallel and Distributed Systems, 19(6):764-778, June 2008.
13. C. Shi and R. Brodersen. An Automated Floating-point to Fixed-point Conversion Methodology. In Proc. International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pages 529-532, 2003.
14. T. Todman, G. Constantinides, S. Wilton, O. Mencer, W. Luk, and P. Cheung. Reconfigurable Computing: Architectures and Design Methods. IEE Proceedings - Computers and Digital Techniques, pages 193-207, March 2005.
15. University of Oldenburg. HySAT Download. http://hysat.informatik.uni- oldenburg.de/26273.html.