JASPER

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

检索结果分析

结果分析中...
选择条件：
  • 学科=电子电信x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于FCM flow的小规模数字电路芯片测试
《电子技术应用》2023年第8期24-29,共6页崔震 周立阳 刘萌 赵禹 王学德 
随着芯片工艺的不断演进,数字芯片的规模急剧增加,测试成本进一步增加。目前先进的DFT技术已应用于大规模SoC芯片的测试,包括扫描路径设计、JTAG、ATPG(自动测试向量生成)等。但对于一些小规模集成电路,插入扫描链等测试电路会增加芯片...
关键词：DFT 覆盖率 Verisium manager Xcelium fault simulator JASPER 
适用于PAD控制逻辑电路验证的一种高效的形式验证方法
《中国集成电路》2019年第5期17-22,共6页左丰国 魏小莽 李伟 
现如今的SoC中,几乎都包含PAD控制逻辑电路(Pad Control Logic,PCL),以此来实现PAD复用技术,从而满足芯片面积不断缩小但功能不断增加的需求。针对PCL极其繁琐复杂的控制逻辑与其在芯片中举足轻重的地位,本文介绍了一种基于Jasper验证平...
关键词：形式验证 SOC PCL JASPER 
形式化验证在处理器浮点运算单元中的应用被引量：6
《电子技术应用》2017年第2期29-32,共4页朱峰 鲁征浩 朱青 
随着芯片复杂度的急剧增加,模拟仿真验证不能保证测试向量的完备性,尤其是一些边界情况。形式验证方法因其完整的状态空间遍历性和良好的完备性,被业界应用于设计规模不大的模块和子单元中。针对处理器浮点运算单元,采用Cadence公司Jasp...
关键词：浮点运算单元 形式化验证 JASPER GOLD FPV SEC 
德国盘王&瑞士高文重磅出击 乐燊贸易/亚洲影音千万级器材示范会
《家庭影院技术》2016年第5期108-108,共1页本刊记者 
Hi-End级器材除了独特设计吸引发烧友之外,逼真细腻的声音表现也会令人为之神往,在悠长的音响发展史上曾出现过不少家喻户晓的Hi-End品牌。然而,能够跻身于文化博物馆的划时代设计却寥寥无几,瑞士GOLDMUND（高文）创造的Apologue就是其...
关键词：重磅出击 经典设计 文化博物馆 唱臂 压迫感 令人 专业团队 纪念版 JASPER 无线传输 
拍照至尊 三星E598
《数码先锋》2007年第Z1期43-44,共2页小子 
三星在翻盖手机和滑盖手机的外观设计上颇有建树,但在直板手机方面却似乎一直找不到多少灵感。为了在直板拍照手机市场取得更大突破,三星特别邀请了欧洲现代设计师Jasper Morrison亲自操刀设计了轻盈简约的320万像素拍照手机E598,通过...
关键词：E598 滑盖手机 翻盖手机 拍照手机 欧式风格 现代设计师 JASPER 直板 MORRISON 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部