Computational bit-width allocation for operations in vector calculus
Computational bit-width allocation for operations in vector calculus
复制标题
向量微积分运算的计算位宽分配
DOI：
10.1109/iccd.2009.5413121
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
N. Nicolici
中科院分区：
文献类型：
--
作者：
A. Kinsman;N. Nicolici
自动位宽分配是硬件加速器设计中的一个关键步骤。基于SAT-模理论的计算方法对有限精度位宽分配问题的使用最近已被证明克服了现有技术所面临的挑战，特别是在科学计算领域。然而，许多这样的现实生活中的应用程序中指定的向量和矩阵，他们是不可行的扩展到标量方程。本文提出了一个框架，包括从向量演算的操作，因此它能够解决实际相关的复杂性的应用程序。
Automated bit-width allocation is a key step required for the design of hardware accelerators. The use of computational methods based on SAT-Modulo Theory to the problem of finite-precision bit-width allocation has recently been shown to overcome challenges faced by the known-art, particularly in the scientific computing domain. However, many such real-life applications are specified in terms of vectors and matrices and they are rendered infeasible by expansion into scalar equations. This paper proposes a framework to include operations from vector calculus and thus it enables tackling applications of practically relevant complexity.