ADAC: Automated Design of Approximate Circuits

Created by W.Langdon from gp-bibliography.bib Revision:1.7892

@InProceedings{Ceska:2018:CAV,

• author = "Milan Ceska and Jiri Matyas and Vojtech Mrazek and Lukas Sekanina and Zdenek Vasicek and Tomas Vojnar",
• title = "{ADAC}: Automated Design of Approximate Circuits",
• booktitle = "Computer Aided Verification",
• year = "2018",
• editor = "Hana Chockler and Georg Weissenbacher",
• volume = "10981",
• series = "LNCS",
• pages = "612--620",
• address = "Oxford",
• month = jul # " 14-17",
• publisher = "Springer",
• keywords = "genetic algorithms, genetic programming, Cartesian genetic programming",
• isbn13 = "978-3-319-96145-3",
• DOI = "doi:10.1007/978-3-319-96145-3_35",
• size = "9 pages",
• abstract = "Approximate circuits with relaxed requirements on functional correctness play an important role in the development of resource-efficient computer systems. Designing approximate circuits is a very complex and time-demanding process trying to find optimal trade-offs between the approximation error and resource savings. In this paper, we present ADAC, a novel framework for automated design of approximate arithmetic circuits. ADAC integrates in a unique way efficient simulation and formal methods for approximate equivalence checking into a search-based circuit optimisation. To make ADAC easily accessible, it is implemented as a module of the ABC tool: a state-of-the-art system for circuit synthesis and verification. Within several hours, ADAC is able to construct high-quality Pareto sets of complex circuits (including even 32-bit multipliers), providing useful trade-offs between the resource consumption and the error that is formally guaranteed. This demonstrates outstanding performance and scalability compared with other existing approaches.",

}

Genetic Programming entries for Milan Ceska Jiri Matyas Vojtech Mrazek Lukas Sekanina Zdenek Vasicek Tomas Vojnar

Citations