Abstract
Approximate computing is a design paradigm for error-tolerant applications. By relaxing the accuracy requirement, it can significantly reduce circuit area and power consumption. There are many approximate logic synthesis (ALS) methods, but few of them target at FPGA designs. In this work, we propose an ALS method for FPGAs based on decomposition. It resynthesizes some fanout-free cones in an FPGA with the minimum numbers of lookup tables through the proposed approximate decomposition techniques. The experimental results showed that our method reduces more LUT count than the previous state-of-the-art ALS methods for FPGAs.
This work was supported by the State Key Laboratory of ASIC & System Open Research Grant 2019KF004. Zhiyuan Xiang and Niyiqiu Liu contributed equally.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
With only two 3-LUTs, we can only realize a function with no more than 5 inputs.
References
Waldrop MM. The chips are down for Moore’s law. Nature. 2016;530(7589):144–7.
Mittal S. A survey of techniques for approximate computing. ACM Comput Surv. 2016;48(4):62:1–62:33.
Shin D, Gupta SK. A new circuit simplification method for error tolerant applications. In: Design, automation & test in Europe conference & exhibition. 2011. pp. 1–6.
Venkataramani S, Sabne A, Kozhikkottu V, Roy K, Raghunathan A. SALSA: systematic logic synthesis of approximate circuits. In: Design automation conference. 2012. pp. 796–801.
Venkataramani S, Roy K, Raghunathan A. Substitute-and-simplify: A unified design paradigm for approximate and quality configurable circuits. In: Design, automation & test in Europe conference & exhibition. 2013. pp. 1367–1372.
Miao J, Gerstlauer A, Orshansky M. Multi-level approximate logic synthesis under general error constraints. In: International conference on computer-aided design. 2014. pp. 504–510.
Vasicek Z, Sekanina L. Evolutionary approach to approximate digital circuits design. IEEE Trans Evol Comput. 2015;19(3):432–44.
Chandrasekharan A, Soeken M, D. Große, Drechsler R. Approximation-aware rewriting of AIGs for error tolerant applications. In: International conference on computer-aided design. 2016. pp. 83:1–83:8.
Scarabottolo I, Ansaloni G, Pozzi L. Circuit carving: A methodology for the design of approximate hardware. In: Design, automation & test in Europe conference & exhibition. 2018. pp. 545–550.
Hashemi S, et al. BLASYS: Approximate logic synthesis using Boolean matrix factorization. In: Design automation conference. 2018. pp. 55:1–55:6.
Wu Y, Qian W. ALFANS: Multilevel approximate logic synthesis framework by approximate node simplification. IEEE Trans Comput Aided Des Integr Circ Syst. 2020;39(7):1470–83.
Meng C, Qian W, Mishchenko A. ALSRAC: Approximate logic synthesis by resubstitution with approximate care set. In: Design automation conference. 2020. pp. 187:1–187:6.
Wu Y, Shen C, Jia Y, Qian W. Approximate logic synthesis for FPGA by wire removal and local function change. In: Asia and South Pacific design automation conference. 2017. pp. 163–9.
Liu G, Zhang Z. Statistically certified approximate logic synthesis. In: International conference on computer-aided design. 2017. pp. 344–351.
Yao Y, Huang S, Wang C, Wu Y, Qian W. Approximate disjoint bi-decomposition and its application to approximate logic synthesis. In: International conference on computer design. 2017. pp. 517–24.
Meng C, Xiang Z, Liu N, Hu Y, Song J, Wang R, Huang R, Qian W. DALTA: A decomposition-based approximate lookup table architecture. In: International conference on computer-aided design. 2021. pp. 1–9.
Ashenhurst RL. The decompositions of switching functions. In: International symposium on the theory of switching functions. 1959. pp. 74–116.
Curtis HA. A new approach to the design of switching circuits. Van Nostrand; 1962.
Shen VS, McKellar AC. An algorithm for the disjunctive decomposition of switching functions. IEEE Trans Comput. 1970;100(3):239–48.
Cong J, Ding Y. Flowmap: an optimal technology mapping algorithm for delay optimization in lookup-table based FPGA designs. IEEE Trans Comput Aided Des Integr Circ Syst. 1994;13(1):1–12.
Cong J, Ding Y. Combinational logic synthesis for LUT based field programmable gate arrays. ACM Trans Des Autom Electron Syst. 1996;1(2):145–204.
Russell S, Norvig P. Artificial intelligence: a modern approach. Prentice Hall; 2009.
Mishchenko A, et al. ABC: A system for sequential synthesis and verification. 2007. [Online]. Available: http://www.eecs.berkeley.edu/~alanmi/abc/.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Xiang, Z., Liu, N., Yao, Y., Yang, F., Zhuo, C., Qian, W. (2022). Approximate Logic Synthesis for FPGA by Decomposition. In: Liu, W., Lombardi, F. (eds) Approximate Computing. Springer, Cham. https://doi.org/10.1007/978-3-030-98347-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-98347-5_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-98346-8
Online ISBN: 978-3-030-98347-5
eBook Packages: Computer ScienceComputer Science (R0)