Recent advances in BDD based representations for Boolean functions: a survey

Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) Pub Date : 1999-01-10 DOI:10.1109/ICVD.1999.745190

Amit Narayan

引用次数: 1

Abstract

ROBDDs are frequently used as the representation of choice to solve various CAD problems such as synthesis, digital-system verification and testing. However, the size of an ROBDD for a function can be exponential in the number of independent variables of the function. This so called "memory explosion problem" limits the applicability of ROBDD based algorithms and has been the locus of intense research over the past several years. Recently, some new techniques have been proposed which have significantly extended the frontiers of ROBDD based methods. This paper surveys some of these recent advances in this area and discusses their merits and shortcomings.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

基于BDD的布尔函数表示的最新进展:综述

为了解决各种CAD问题，如合成、数字系统验证和测试，经常使用robdd作为选择的表示。然而，函数的ROBDD的大小可以与函数的自变量数量呈指数关系。这种所谓的“内存爆炸问题”限制了基于ROBDD的算法的适用性，并且在过去几年中一直是激烈研究的焦点。近年来，一些新技术的提出极大地扩展了基于ROBDD方法的研究领域。本文综述了近年来该领域的一些研究进展，并讨论了它们的优缺点。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)

自引率

0.00%

发文量

期刊最新文献

Improved effective capacitance computations for use in logic and layout optimization Assignment and reordering of incompletely specified pattern sequences targetting minimum power dissipation FzCRITIC-a functional timing verifier using a novel fuzzy delay model Verifying Tomasulo's algorithm by refinement Superscalar processor validation at the microarchitecture level