论文标题
自适应验证驱动的算术电路进化近似的策略
Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits
论文作者
论文摘要
我们提出了一种新的方法，用于设计复杂的近似算术电路，该电路将正确性换成功耗，并在许多能源感知的应用中发挥重要作用。我们的方法以独特的形式方法集成，将近似误差的形式保证提供为进化电路优化算法。关键思想是采用一种新颖的自适应搜索策略，该策略将演变驱动到迅速可验证的近似电路。正如广泛的实验评估中所证明的那样，包括几个结构上不同的算术电路和目标精确度，搜索策略在各种近似方案方面提供了卓越的可扩展性和多功能性。我们的方法显着提高了现有方法的功能，并铺平了一种朝着可证明是正确的电路近似值的自动设计过程的方法。
We present a novel approach for designing complex approximate arithmetic circuits that trade correctness for power consumption and play important role in many energy-aware applications. Our approach integrates in a unique way formal methods providing formal guarantees on the approximation error into an evolutionary circuit optimisation algorithm. The key idea is to employ a novel adaptive search strategy that drives the evolution towards promptly verifiable approximate circuits. As demonstrated in an extensive experimental evaluation including several structurally different arithmetic circuits and target precisions, the search strategy provides superior scalability and versatility with respect to various approximation scenarios. Our approach significantly improves capabilities of the existing methods and paves a way towards an automated design process of provably-correct circuit approximations.
