王纪

作品数：3被引量：3H指数：1
导出分析报告
供职机构：中国航天科工集团公司更多>>
发文主题：形式化验证SOC多语言片上系统知识产权核更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《电子设计工程》《中国电子科学研究院学报》更多>>
所获基金：国防基础科研计划中国人民解放军总装备部预研基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
适用于形式化验证的断言优化方法
《中国电子科学研究院学报》2023年第2期166-175,188,共11页李东方 刘诗宇 王纪 王志昊 闫皓 
国防基础科研计划资助项目(XX2020204B028)
在实际工业验证场景中,形式化验证的局限性主要体现在因为状态空间爆炸导致验证结果不明确。断言编码方式始终是直接影响到形式化验证结果的主要因素,而目前已有的断言优化方法并未以断言与状态空间大小的关系分析为基础。文中针对影响...
关键词：断言优化 形式化验证 状态空间爆炸 影响锥模型 长序列模型 
HDLC IP核的形式化验证
《中国电子科学研究院学报》2022年第11期1078-1086,共9页李东方 刘诗宇 王志昊 王纪 宋小敬 沈炜 
国防基础科研计划资助(XX2020204B028)。
目前,高级数据链路控制(High-Level Data Link Control, HDLC)协议控制器在航天型号中依然应用广泛,通常以IP核的形式被集成在通信部件中。但是近年,多个经过仿真验证的HDLC IP核在航天型号运行过程中出现了触发概率极小的功能错误,导...
关键词：功能验证 形式化验证 IP核 HDLC协议控制器 
SoC多语言协同验证平台技术研究被引量：3
《电子设计工程》2015年第20期130-133,共4页王纪 冯志华 
中国人民解放军总装备部预研基金(513150502)
SoC基于IP设计的特点使验证项目中多语言VIP(Verification IP)协同验证的需求不断增加,给验证工作带来了很大的挑战。为了解决多语言VIP在SoC验证环境灵活重用的问题。提出了一种基于开放的多语言构架库的解决方案,详述了多语言协同验...
关键词：片上系统 验证知识产权核 多语言协同验证 重用 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部