作者
Edmund M Clarke, Kenneth L McMillan, Xudong Zhao, Masahiro Fujita, Jerry Yang
发表日期
1993/7/1
图书
Proceedings of the 30th International Design Automation Conference
页码范围
54-60
简介
The Walsh transform has numerous applications in computer-aided design, but the usefulness of these techniques in practice has been limited by the size of the boolean functions that can be transformed. Currently available techniques limit the functions to less than 20 variables. In this paper, we show how to compute concise representations of the Walsh transform for functions with several hundred variables. We have applied our techniques to boolean technolqy mapping and, in certain cases, we obtained a speed up of as much as 50% for the matching phase.
引用总数
学术搜索中的文章
EM Clarke, KL McMillan, X Zhao, M Fujita, J Yang - Proceedings of the 30th International Design …, 1993