表示移位加法的 BDD 大小下界证明
硬件体系结构
2022-09-27 v1
摘要
决策图（DDs）是布尔函数最流行的表示之一。它们被广泛用于电路的设计与验证。不同类型 DD 已被证明以多项式空间表示重要函数，且某些类型（如二元决策图（BDDs））还允许在多项式时间内对图进行操作。然而，尚无某种类型被证明能够以关于输入规模的多项式空间表示任意布尔函数。特别是对于 BDD，早已知道整数乘法是其输出 BDD 具有指数大小的函数之一。在本文中，我们展示这对于一个操作数被任意值右移的整数加法同样成立。我们称此函数为移位加法。我们对该函数的兴趣源于其在浮点加法过程中的出现。
引用
@article{arxiv.2209.12477,
title = {Lower Bound Proof for the Size of BDDs representing a Shifted Addition},
author = {Jan Kleinekathöfer and Alireza Mahzoon and Rolf Drechsler},
journal= {arXiv preprint arXiv:2209.12477},
year = {2022}
}