切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于符号模型检验的硬件验证
基于符号模型检验的硬件验证
来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:selangzhiyan
【摘 要】
:
随着程序或电路规模的增大,状态数目将呈指数增加而引起组合爆炸.符号模型检验是形式化方法的一个重要方面,可以处理大规模的数据结构和控制序列,缓和了组合爆炸问题.文章介
【作 者】
:
刘建元
【机 构】
:
西安邮电学院
【出 处】
:
微电子学与计算机
【发表日期】
:
2002年5期
【关键词】
:
符号模型检验
硬件验证
微处理器
有限状态机
分支时态逻辑
有序二叉判定图
Finite-state machine
Computational tree lo
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着程序或电路规模的增大,状态数目将呈指数增加而引起组合爆炸.符号模型检验是形式化方法的一个重要方面,可以处理大规模的数据结构和控制序列,缓和了组合爆炸问题.文章介绍了符号模型检验的原理和方法,利用验证工具VIS验证了8位微处理器PIC的一些关键属性,并给出实验结果.
其他文献
构建和谐社会进程中农村成人扫盲教育的价值探求
开展农村成人扫盲教育是构建和谐农村的基本保障。随着农民社会流动的不断增加,农村成人扫盲教育对城市的和谐发展也具有越来越明显的促进作用。概括地说,农村成人扫盲教育具有
期刊
构建和谐社会
农村
成人扫盲教育
新一代IC—CAM系统中的质量管理
文章介绍了新一代集成电路计算机辅助制造(IC-CAM)系统质量管理部分的设计.该系统的质量控制部分实现了由实测数据计算控制图的控制限,能自动判读并标识控制图中的异常点.使
期刊
IC-CAM
集成电路
计算机辅助制造
质量控制
控制限
控制图
Integrated circuit
Computer-aided manufacture
带FPGA的PCI接口应用
文章介绍了一种带FPGA的PCI接口的应用及设计方法.该方法将PCI接口和PCI用户逻辑集成在一片FPGA里,可以对整个逻辑进行仿真测试,大大缩短了开发周期,提高了系统集成度和性能.
期刊
FPGAA
PCI接口
微机总线
PCI总线
接口逻辑
PCI bus
Interface
FPGA
Simulation
基于整型小波变换的摇感图像压缩
对给定的遥感图像采用基于“提升”(Lifing)算法的整型小波变换,然后对变换后的小波域图像进行编码。在小波域编码时,采用逐次近似量化和LZ77方法编码。当量化门限较高时,则有用E
期刊
整型小波变换
摇感
图像压缩
Integer wavelet transform
EZW algorithm
Remote sensing image
LZ77
医学知识工程生产线的研究
巨型知识库系统的研究是知识工程学的一个重要方向.建立巨型知识库的周期很长,且容易出错.为了提高知识工程的效率,建立医学知识工程生产线是当务之急.医学知识工程生产线的
期刊
知识库
知识工程
生产线
人工智能
医学
Knowledge base
Knowledge engineering
Production line
基于89C2051的解码器设计
文章简述了解码器的工作原理,详细描述了一种基于单片机的软标签解码器的设计思路及其实现方法,给出了系统的硬件原理图和软件流程图.
期刊
89C2051
解码器
设计
Paperlabel
Decoder
Singlechip computer
片上总线工作组及OCB11.1规范
文章介绍了VSIA十一个开发工作组之一'片上总线工作组'的工作内容和技术进展状况;介绍工作组颁布的'片上总线属性规范'及其制订原则;介绍片上总线的最小通用
期刊
片上总线工作组
OCB11.1规范
层次化总线
系统芯片
集成电路
设计
VSIA
SoC
IP
On Chip Bus
Hierarchy Bus
学习型社会视野下自我导向学习模式的构建
构建学习型社会是终身教育国际思潮不断演进的必然趋势。在学习型社会中,无论是个人还是组织都不希望脱离岗位参与学习,最理想的学习形式就是随时随地利用学习资源不断更新知识
期刊
学习型社会
自我导向学习模式
构建
learning society
self - directed learning model
constructing
成人教育:新技术与新活力——现代ICT在印度农村成人教育中的应用
瓦舒德珐·劳(B.S.Vasudeva Rao)是印度安得拉大学(Andhra University)成人和继续教育学院的教授,从事农村成人教育活动已有20多年,论文、著述颇丰。从其撰写的Communication a
期刊
现代ICT
农村成人教育
扫盲教育
功能性扫盲教育
论成人网络学习评价的价值取向
学习评价的价值取向是在学习评价中体现出来的特定的价值观,它支配或决定着学习评价的具体模式和操作取向。根据网络教育的特点和成人学习与发展的要求,成人网络学习评价的价值
期刊
成人网络学习
学习评价
价值取向
网络教育
adult' s online learning
learning evaluation
value orien
与本文相关的学术论文