2024年8月4日
星期日
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
朱峰
作品数:
1
被引量:6
H指数:1
供职机构:
苏州大学
更多>>
相关领域:
自动化与计算机技术
电子电信
更多>>
合作作者
鲁征浩
苏州大学
朱青
苏州大学
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
电子电信
1篇
自动化与计算...
主题
1篇
点运算
1篇
形式化
1篇
形式化验证
1篇
浮点
1篇
浮点运算
1篇
浮点运算单元
1篇
SEC
1篇
FPV
1篇
GOLD
1篇
JASPER
机构
1篇
苏州大学
作者
1篇
朱青
1篇
鲁征浩
1篇
朱峰
传媒
1篇
电子技术应用
年份
1篇
2017
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
形式化验证在处理器浮点运算单元中的应用
被引量:6
2017年
随着芯片复杂度的急剧增加,模拟仿真验证不能保证测试向量的完备性,尤其是一些边界情况。形式验证方法因其完整的状态空间遍历性和良好的完备性,被业界应用于设计规模不大的模块和子单元中。针对处理器浮点运算单元,采用Cadence公司JasperGold工具对一些关键模块进行了形式化验证,对流水控制中的纠错码(Error Correcting Code,ECC)、软件结构寄存器(Software Architected Register,SAR)和计算单元中的公共模块分别采用了基于FPV(Formal Property Veri fication)的性质检验和基于SEC(Sequential Equivalence Checking)的等价性检验。结果表明,形式化验证在保证设计正确性的基础上极大地缩短了验证周期。
朱峰
鲁征浩
朱青
关键词:
浮点运算单元
形式化验证
JASPER
GOLD
FPV
SEC
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张