切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
VLSI设计形式化验证方法的综述
VLSI设计形式化验证方法的综述
来源 :计算机辅助设计与图形学学报 | 被引量 : 5次 | 上传用户:w123youlin
【摘 要】
:
在本文中,作者讨论了形式验证的理论,并综述了各种形式验证的方法、系统及一些重要的应用。对形式验证的发展趋势也做了论述。
【作 者】
:
姜明,刘明业
【机 构】
:
北京理工大学ASIC研究所
【出 处】
:
计算机辅助设计与图形学学报
【发表日期】
:
0年JSJF602.011期
【关键词】
:
VLSI
形式化验证
设计
计算机模拟
binary decision diagram
first order logic
higher order logic
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在本文中,作者讨论了形式验证的理论,并综述了各种形式验证的方法、系统及一些重要的应用。对形式验证的发展趋势也做了论述。
其他文献
学似无疑教须有疑——“方差与标准差”教学片断分析
学生的质疑习惯需要教师在课堂教学中加以培养.“读书无疑,须教有疑”是培养良好的思维习惯和创新能力的根本.课堂教学要把培养学生的质疑精神作为主要目标之一,教学设计应预设质
期刊
知识理解
质疑习惯
问题意识
探索精神
地市公立医院面对医改应把握的几个问题
分析了地市公立医院面对医药卫生体制改革带来的挑战与机遇,提出了应对挑战的策略,进一步厘清了地市公立医院发展的思路及定位。
期刊
公立医院
医院改革
public hospital
hospital reform
日走万步并不科学
步行是最简便易行的有氧运动,被誉为“心脏健康之路”。我国也在流行步数“比拼”,许多人每天以超过一万多少步而引以为豪,这其实是一个误区,并不科学。
期刊
科学
有氧运动
步行
心脏健康之路
美使数学课堂充满生命力
数学美集中表现在数学的简单性、对称性、和谐性、统一性、相似性和奇异性之中.奇异关、和谐美、简单关、对称美、相似美造就了丰富多彩的数学课堂的教与学.正是数学领域的种种
期刊
数学课堂
数学美
数学教学
三江口水电站隧洞内压力钢管运输倒装技术的实践
介绍了采用“卷扬机--滑车组—台车”系统将压力钢管管节运至安装位置固定后再用手拉葫芦、千斤顶等工具调整钢管管节,按照设计图纸要求就位的施工技术。解决了三江口水电站
期刊
三江口水电站
隧洞内大直径钢管
运输
倒装技术
科主任目标管理量化考核初探
完善绩效考核评价体系是公立医院改革的重要方面,而科主任的绩效考核管理又是全员绩效考核评价体系中的重要分支。阐述了科主任目标管理考核指标体系的设计、考核方法的实施
期刊
科主任
目标管理
绩效考核
director objective management performance assessment
定子下线施工工艺及质量控制要点
定子下线是机组安装中的一项重要工作,机组下线质董的好坏,直接影响到机组性能的稳定性和可靠程度。本文以常规电站定子上下两层线棒下线为例,重点说明下线过程中应该注意的问题
期刊
定子下线
施工工艺
质量
控制重点
医院电子病案风险管理研究
通过对某医院医务工作者的访谈、问卷调查和综合研究等方法,分析当前医院电子病案风险管理的必要性及面临的法律性、安全性、完整性等各种风险,并提出完善现有法律法规、增强法
期刊
电子病案
风险管理
electronie medical record
risk management
校园"中水"回用分析与工艺设计
以大连市某高校为具体事例,对校园"中水"回用方案进行了比较,提出了三种"中水"回用方案,即分散系统方案,小集中系统方案,统一系统方案.经过分析选择小集中系统方案为该校最佳
期刊
高校
"中水"回用
"中水"工艺
campuswater reusereclaim water system
浅谈春季小麦常见病虫草害综合防治技术
本文通过对小麦在返青至拔节期和孕穗至抽穗期常见的病虫害进行举例,提供一些治疗措施,希望能够为田间工作者以及农业生产者提供一些建议。
期刊
春季小麦
病虫草害
防治
与本文相关的学术论文