切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
用VIS验证微处理器PIC
用VIS验证微处理器PIC
来源 :计算机辅助设计与图形学学报 | 被引量 : 0次 | 上传用户:bbs_lijun
【摘 要】
:
近年来,二叉判定图BDD和符号模型检验在形式验证数字电路设计中取得了突破性进展,文中介绍了符号模型检验的基本原理和方法,重点介绍了如何用VIS系统验证微处理器PIC设计的正确性。利用VIS证
【作 者】
:
杜慧敏
刘建元
【机 构】
:
西安邮电学院ASIC中心
【出 处】
:
计算机辅助设计与图形学学报
【发表日期】
:
2000年5期
【关键词】
:
微处理器
检验
VIS
二叉决策图
PIC
Binary Decision Diagram
computational tree logic
equival
【基金项目】
:
国家自然科学基金!( 69473 0 17)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,二叉判定图BDD和符号模型检验在形式验证数字电路设计中取得了突破性进展,文中介绍了符号模型检验的基本原理和方法,重点介绍了如何用VIS系统验证微处理器PIC设计的正确性。利用VIS证明了PIC设计部分电路的等价性。发现了一个设计错误并证明了PIC中一些重要模块的特性。
其他文献
如何结合时事政治进行高中政治教学
时事政治作为政治教学内容的补充,与思想政治教学结合,对推动学生积极主动学习政治有着重要的作用,同时时政热点问题也是高考政治必考试题,本文结合笔者的积极教学经验和经历,对如
期刊
高中政治教学
时事政治
融合
利用
10kV配电室电气施工安装要点综述
在对10kV配电室进行电气安装作业时,必须确保安装操作技术专业准确,同时安装施工人员应该具备充足的安装经验,并能够按照施工过程实际情况,对施工技术进行必要的改进和完善,
期刊
10kV配电室
电气施工
安装要点
2015年学术期刊改革综述
在全面深化出版体制改革、传统出版和新兴出版融合发展的时代背景下,2015年,我国学术期刊改革蹄疾而步稳。在"互联网+"、媒体融合和开放存取等新技术的推动下,学术期刊改革沿
期刊
学术期刊改革
政策规制
互联网+
媒体融合
转企改制
改革路径
色织物组织计算机设计与分析方法的研究
给出了一种色织物组织计算机设计及分析方法,首先讨论了一般组织、重组织和双层组织的设计方法及其核心算法,接下来给出了配色模纹分析方法、色纱选择及规则织物组织自动生成算
期刊
织物组织
重组织
双层组织
CAD
色织物
weave texture
recombine texture
double-texture
colour p
中国学术图书对外翻译出版的现状及其对策(下)
从根本上说,以人文与社会科学为主的中国学术研究是国家理论生产的场所和主流价值观构建的阵地,也是政府决策的智库和大众教育的重要知识来源。 一、中国学术图书对外翻译出版的主要问题 根据BAS的数据显示,除中、俄、日、朝等文字的学术论文之外,自2009年至今,每年发表的中国研究论文数量一直在4万多份。根据亚马逊数据统计,有关中国主题图书的数据逐年增加,2009年为3350种、2010年为4800种、
期刊
翻译出版
学术图书
中国
现状
主流价值观
国家理论
学术研究
社会科学
论科技学术期刊出版的数字化转型
【摘要】当前,我国科技学术期刊出版面临转型,数字化技术的发展为其出版转型提供了方向。本文探索了科技学术期刊数字化转型发展的历程及特征,提出了科技学术期刊出版的数字化转型路径,即实现优先数字出版转型、独家出版转型和资源整合转型三种模式。 【关键词】科技学术期刊;出版;数字化;转型 【作者单位】吕霞,河北农业大学图书馆。 【基金项目】2015年保定市哲学社会科学规划课题“农业高校图书馆与新农人合
期刊
科技学术期刊
出版
数字化
转型
改良乳癌根治术皮瓣不同游离方式对术后皮下积液的影响
1997~2000年,我院行乳癌改良根治术137例.现做回顾性分析,以探讨皮瓣游离方式不同对皮下粘液形成的影响.
期刊
改良乳癌根治术
皮瓣
游离方式
术后
皮下积液
双极型芯片的热模拟系统
介绍一双极型芯片的热模拟系统。本文系统为双极电路的设计人员提供参考,检查其温度分布是否合理均匀,以提高产品的可靠性。
期刊
双极型芯片
ASIC
热模拟系统
bipolar IC
extraction
heat distribution
temperature distributio
同步时取电路优化中的时序重构技术
本文论述了80年代初以来,同步时序电路优化方法中出现的时序重构技术的基本理论、方法和应用,并指出了此技术进一步实用化的几种方法.
期刊
同上时序电路
优化
时序重构
逻辑电路
synchronous logic circuit
synthesis and optimization
retim
胸腰段脊柱骨折脱位CDI复位内固定后矫正部分丧失原因分析
1998年10月至2002年6月,我院对45例胸腰段脊柱骨折脱位患者施行了C-D器械(CDI)复位内固定手术.随访43例,8例矫正部分丧失.现分析如下.
期刊
胸腰段脊柱骨折脱位
CDI复位
内固定
矫正
C—D器械
与本文相关的学术论文