王天成

作品数：9被引量：12H指数：3
导出分析报告
供职机构：中国科学院计算技术研究所更多>>
发文主题：PCIE协议栈容错处理器程序段更多>>
发文领域：自动化与计算机技术电子电信医药卫生更多>>
发文期刊：《计算机辅助设计与图形学学报》《南通大学学报（自然科学版）》《计算机研究与发展》《计算机工程》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向高可靠汽车电子系统的低延时异构多核并行差错检测方法
《计算机辅助设计与图形学学报》2023年第11期1789-1801,共13页吕浙帆 王天成 李华伟 
国家重点研发计划(2020YFB1600201);国家自然科学基金(62090024)。
与业界常用的双核锁步方法相比,异构并行差错检测技术以较小的面积开销实现接近的差错覆盖率,但是会增加差错检测延时并影响主核的性能.针对差错检测不及时带来的潜在安全风险,提出一种低延时的异构并行差错检测方法.首先通过复制寄存...
关键词：差错检测 容错 可靠性 异构处理器 锁步 
基于K近邻的数字电路自动测试向量生成方法被引量：2
《计算机辅助设计与图形学学报》2023年第11期1802-1810,共9页李文星 王天成 李华伟 
国家重点研发计划(2020YFB1600201);国家自然科学基金(62090024,U20A20202)。
基于分支限界搜索的自动测试向量生成(ATPG)是数字电路测试中的关键技术,搜索中的回溯次数对ATPG性能造成很大影响.为了减少ATPG回溯次数,提出一种基于K近邻(KNN)的数字电路ATPG方法.将机器学习中的KNN算法引入POEDM测试生成算法,KNN结...
关键词：数字电路测试 自动测试向量生成 K近邻 分支限界搜索 回溯次数 
一款基于SPARC V8指令集体系结构的系统芯片的功能验证
《南通大学学报（自然科学版）》2016年第4期9-16,共8页杨爽 王天成 李华伟 
国家自然科学基金项目(61432017)
处理器的设计越来越复杂,如何对处理器进行完备的功能验证面临着巨大的挑战.针对一款基于可扩展处理器架构(scalable processor architecture,SPARC)V8指令集体系结构的系统芯片进行验证,提取了该芯片的验证功能点,搭建了结果自动比对...
关键词：可扩展处理器架构 系统芯片 功能验证 指令集体系结构 功能点 
基于路径约束求解的多目标状态激励生成方法被引量：3
《计算机学报》2016年第9期1829-1842,共14页周艳红 王天成 李华伟 吕涛 李晓维 
国家自然科学基金(61432017;61176040);国家"九七三"重点基础研究发展规划项目基金(2011CB302501)资助~~
该文提出了一种针对多个难达目标状态的激励生成方法,该方法基于抽象引导的半形式化方法框架.采用一个评估函数对候选状态进行评价,该评估函数综合考虑了从一个状态到不同目标状态的全局抽象距离信息,评价出从各个状态到达某个目标状态...
关键词：激励生成 难达状态 抽象引导模拟 路径约束求解 
面向非规则三维片上网络的自适应可靠路由方法被引量：2
《计算机辅助设计与图形学学报》2016年第2期345-354,共10页周君 李华伟 王天成 李晓维 
国家自然科学基金(61432017;61176040;61221062);国家"九七三"重点基础研究发展计划项目(2011CB302501)
面向存在永久性链接故障的非规则三维片上网络,提出一种低成本自适应可靠路由方法.首先根据非规则三维片上网络的拓扑结构,优先选择一条汉密尔顿路径进行容错路由,在没有汉密尔顿路径的情况下,则执行生成树容错路由算法绕过故障链接;然...
关键词：三维片上网络 非规则拓扑 自适应路由 永久性故障 容错 
面向3维片上网络的轻量级细粒度容错机制
《计算机研究与发展》2016年第2期341-353,共13页周君 李华伟 王天成 李晓维 
国家自然科学基金项目(61432017;61176040;61221062);国家"九七三"重点基础研究发展规划基金项目(2011CB302501)~~
片上网络(networks-on-chip,NoC)是3维集成电路的主要通信技术之一.其中,路由器是3维片上网络的重要组成部件.现有的面向3维片上网络中路由器的容错技术,通常采取路由器整体冗余技术或者直接舍弃失效路由器的方法,这导致网络资源损失较...
关键词：片上网络 3维mesh 细粒度 容错 路由机制 
基于指令模板的通用处理器约束随机指令生成方法被引量：3
《计算机工程》2015年第10期309-313,共5页刘婧 王天成 王健 李华伟 
国家自然科学基金资助项目(61176040)
随着集成电路设计的复杂度越来越高,功能验证成为设计流程中的瓶颈。而通用处理器是集成电路中功能最为复杂的设计之一,对其功能验证提出更高要求。为此,给出一种约束随机指令生成方法,对ARMv8处理器进行模拟验证。从指令集中提取指令模...
关键词：功能验证 通用处理器 指令模板 指令生成 约束随机指令 
PCIE协议栈模拟验证平台的设计和实现被引量：3
《计算机工程》2015年第6期287-293,共7页张良 王天成 王健 李华伟 郭建 
国家自然科学基金资助项目(61233010)
Intel提出的第三代总线技术PCI Express在结构上可以满足计算机系统的发展对总线带宽的要求,基于PCIE的设计得以蓬勃发展,对PCIE的验证也成为So C功能验证的重要组成部分。为此,设计并实现一种状态图和覆盖率组合驱动的自动化验证平台,...
关键词：功能验证 PCIE协议栈 协议栈验证 功能覆盖率 约束随机模拟 激励生成 
SER-Tvpack:基于软错误率评估的SRAM型FPGA的装箱算法
《计算机研究与发展》2014年第8期1764-1772,共9页夏静 王天成 吕涛 李华伟 邝继顺 
国家自然科学基金项目(60773207;60906013)
为了提高基于SRAM的FPGA(SFPGA)上的容软错误能力,提出了一种基于软错误率(soft error rate,SER)评估的装箱算法SER-Tvpack.通过结合软错误率的两个组成部分错误传播率(error propagation probability,EPP)和节点错误率(node error rate...
关键词：SRAM型FPGA 软错误率 可靠性 装箱 单粒子翻转 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部