咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 电子科学与技术（可...

主题

  • 3 篇 布尔匹配算法
  • 1 篇 有序二叉判定树
  • 1 篇 二分图
  • 1 篇 工艺映射
  • 1 篇 逻辑综合
  • 1 篇 电路设计
  • 1 篇 集成电路
  • 1 篇 算法改进
  • 1 篇 大规模集成电路
  • 1 篇 图论
  • 1 篇 最小项
  • 1 篇 fpga
  • 1 篇 变量标签

机构

  • 2 篇 上海交通大学
  • 1 篇 肇庆学院

作者

  • 2 篇 张镭
  • 2 篇 林争辉
  • 2 篇 吕宗伟
  • 1 篇 俞亚堃

语言

  • 3 篇 中文
检索条件"主题词=布尔匹配算法"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于二分图完美匹配的布尔匹配算法
收藏
分享
引用
计算机辅助设计与图形学学报 2001年 第11期13卷 961-965页
作者： 吕宗伟 林争辉 张镭 上海交通大学大规模集成电路研究所 上海200030
提出了一种改进的基于二分图完美匹配的布尔匹配算法 .该算法通过把布尔变量之间的匹配问题转换为二分图的完美匹配问题 ,避免了原算法中因乘积项过多而导致计算时间过长的缺点 .对 MCNC标准测试电路的实验结果表明 :与原算法相比 ,改... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
加速布尔匹配算法的研究
收藏
分享
引用
上海交通大学学报 2002年 第3期36卷 319-322页
作者： 张镭 林争辉 吕宗伟 上海交通大学大规模集成电路研究所 上海200030
逻辑验证和综合中 ,布尔匹配利用有序二叉判定图 (Ordered Binary Decision Diagram,OBDD)检验两个给定的逻辑函数是否相等 .直接枚举每个函数中输入变量的各种排列顺序 ,并根据这些顺序进行匹配 ,算法时间复杂度为 O(n!2 n2 ) ,n为变量... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于FPGA的布尔匹配算法改进研究
收藏
分享
引用
数字技术与应用 2011年 第10期29卷 109-110页
作者： 俞亚堃 肇庆学院电子信息与机电工程学院 广东肇庆526061
文中首先介绍了布尔匹配与FPGA的关系,分析了布尔匹配问题转化为可满足性问题,针对布尔匹配算法的问题提出了改进措施,通过异构的查找表来映射电路可以减小关键路径上的时间延迟通过把可编程逻辑单元的输入划分为等价类,能够有效加快布... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件