适于大数目输入变量的逻辑综合启发式算法

摘要

本文给出了适用于大数目输入变量的逻辑综合启发式算法.该方法采用自顶向下的逼近,通过包含的文字产生蕴涵项,包含文字的选择是基于启发式方法,根据文字发生的频率进行的.这个算法已经通过标准benchmarks例题和随机产生的大数目输入变量问题的测试.实验证明该方法是有效的,特别对大数目输入变量的函数,具有较好的综合效果.