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

• 作者: 张义清 管致锦
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 逻辑综合 蕴涵项 覆盖 布尔最小化
• 年，卷（期）: 2004,（11）
• 所属期刊栏目: 基金项目论文
• 页码范围: 8-9,20
• 页数: 3页
• 分类号: TP3
• 字数: 2767字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2004.11.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	管致锦		20	91	4.0	9.0
2	张义清		11	8	2.0	2.0