基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
在逻辑模拟中用波形作为电路状态的描述工具,通过对波形的计算和检查实现精确的模拟.在Boole过程模拟法的基础上,为了降低逻辑模拟计算的时间复杂度,提出了一种基于共享主存结构的借助加权活动元件队列来提高处理机利用率的并行逻辑模拟算法.该算法免除了以往耗时很多的电路划分过程,在一定程度上提高了并行加速比.
推荐文章
数字电路门级并行逻辑模拟
并行计算
门级逻辑模拟
事件驱动
消息队列
非循环电路划分
基于回退的并行网络模拟拓扑划分算法
并行网络模拟
拓扑划分
METIS
回退划分算法
结合逻辑模拟和布尔可满足性的设计错误诊断方法
设计验证
错误诊断
布尔可满足性
逻辑模拟
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于Boole过程的并行逻辑模拟算法
来源期刊 哈尔滨工程大学学报 学科 工学
关键词 逻辑模拟 Boole过程论 加权活动元件队列 加速比
年,卷(期) 2001,(6) 所属期刊栏目
研究方向 页码范围 59-64
页数 6页 分类号 TP301
字数 4816字 语种 中文
DOI 10.3969/j.issn.1006-7043.2001.06.016
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 冯刚 1 5 1.0 1.0
2 马光胜 1 5 1.0 1.0
3 杜振军 1 5 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (2)
共引文献  (1)
参考文献  (2)
节点文献
引证文献  (5)
同被引文献  (5)
二级引证文献  (5)
1996(1)
  • 参考文献(1)
  • 二级参考文献(0)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(1)
  • 二级参考文献(0)
2001(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2002(1)
  • 引证文献(1)
  • 二级引证文献(0)
2003(1)
  • 引证文献(1)
  • 二级引证文献(0)
2005(2)
  • 引证文献(1)
  • 二级引证文献(1)
2008(4)
  • 引证文献(2)
  • 二级引证文献(2)
2014(1)
  • 引证文献(0)
  • 二级引证文献(1)
2015(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
逻辑模拟
Boole过程论
加权活动元件队列
加速比
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
哈尔滨工程大学学报
月刊
1006-7043
23-1390/U
大16开
哈尔滨市南岗区南通大街145号1号楼
14-111
1980
chi
出版文献量(篇)
5623
总下载数(次)
16
总被引数(次)
45433
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
论文1v1指导