JASPER

作品数：70被引量：49H指数：4
导出分析报告
相关领域：医药卫生自动化与计算机技术更多>>
相关作者：刘名燕刘建林刘建民黄清海周慧霞更多>>
相关机构：空军军医大学（第四军医大学）南京医科大学浙江大学医学院附属第二医院第二军医大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金云南省教育厅科学研究基金江苏省自然科学基金广东省科技计划工业攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=电子技术应用x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于FCM flow的小规模数字电路芯片测试
《电子技术应用》2023年第8期24-29,共6页崔震 周立阳 刘萌 赵禹 王学德 
随着芯片工艺的不断演进,数字芯片的规模急剧增加,测试成本进一步增加。目前先进的DFT技术已应用于大规模SoC芯片的测试,包括扫描路径设计、JTAG、ATPG(自动测试向量生成)等。但对于一些小规模集成电路,插入扫描链等测试电路会增加芯片...
关键词：DFT 覆盖率 Verisium manager Xcelium fault simulator JASPER 
形式化验证在处理器浮点运算单元中的应用被引量：6
《电子技术应用》2017年第2期29-32,共4页朱峰 鲁征浩 朱青 
随着芯片复杂度的急剧增加,模拟仿真验证不能保证测试向量的完备性,尤其是一些边界情况。形式验证方法因其完整的状态空间遍历性和良好的完备性,被业界应用于设计规模不大的模块和子单元中。针对处理器浮点运算单元,采用Cadence公司Jasp...
关键词：浮点运算单元 形式化验证 JASPER GOLD FPV SEC 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部