错误功能流程SpringSoft推出新版CERTITUDE功能验证品管系统

SpringSoft推出新版CERTITUDE功能验证品管系统

时间:2011年12月02日
SpringSoft今天宣布Certitude™功能验证品管系统的重大发展,能够以更多元且更具效率的方式配置验证方法。新推出的自动侦测与验证环境检验功能是其中主要的创新,能够以更少的资源, 频率大小电容Taikeda推出移动通信设备适用的晶振中国红光产业国内市场增长迅猛 LED产业该如何突围?新能源科技部汽车我国已向新能源汽车电池领域投入85亿元以太网芯片解决方案Qualcomm Atheros推出EPON芯片QCA8829无需特殊屏幕 神奇外套实现iPad裸眼3D(图)光电公司专利华星光电:步入自主创新快车道QP242贴异形BGA贴不好,求大家帮助台湾崇仁产业黄崇仁:国际化整并 DRAM才有救电路板加工铜箔LPKF电路板快速制作系统

SpringSoft今天宣布Certitude™功能验证品管系统的重大发展,能够以更多元且更具效率的方式配置验证方法。新推出的自动侦测与验证环境检验功能是其中主要的创新,能够以更少的资源,迅速确认芯片验证环境中的潜在问题,同时持续改良验证流程。

功能验证就是确认芯片设计建置依据指定方式运作的流程。Certitude软件是市面上独家提供,能够客观验证IP与系统单芯片(SoC)设计检验机制与测试的工具。Certitude技术平台扩充的目的在于尽早、且更频繁地检查重要功能,确保验证环境拥有高信心水平的「signoff」质量。这项研发里程碑是SpringSoft的使命与产品蓝图中不可或缺的一环,目的是加速目前越趋复杂SoC设计的功能收敛。

SpringSoft产品营销部门处长George Bakewell表示:「Certitude逐渐成为功能验证signoff流程中不可或缺的一环,新版的Certitude提供崭新的自动化技术与基础架构,快速提供实用的芯片验证环境质量信息,让工程师们能够排定工作优先级,更有效地运用系统资源。更重要的是,我们也将这个功能验证使用模型延伸至更早期的验证流程,而不仅当作流程末期的单点工具而已,协助SoC团队拥有更高质量的设计,signoff更迅速。」

更完善的技术平台

SpringSoft的Certitude软件结合专利自动化技术以及以变异为基础(mutation-based)的技术与静态分析,能够评估效能、确认重大缺失,并且改善HDL仿真验证的结果质量。换句话说,这套系统会将错误(人为变异)置入缓存器转换阶层(RTL)设计中,并且使用工程师选择的数字逻辑仿真工具,针对每一项变异进行测试。测试结果包含详尽的错误启动(activation)、传递(propagation)与侦测等功能检测信息,以评估整体验证流程,同时找出并修正漏洞,譬如缺漏的功能查核、不完整的测试过程,以及基础架构问题。分析无法传递或验证环境无法侦测的错误,并准确地指出测试向量、观测性(observability)或结果检验程序的问题,进而协助修正。

Certitude技术平台新增错误侦测、排序与追踪功能,在整个验证流程中能够更迅速地提供重要信息回馈、缜密分析结果,并且简化错误分析。Certitude系统发现未检出(ND, Non-Detected)的错误时,会自动排除(drop)其他与此ND错误相关的错误,避免浪费宝贵的时间。这项功能最初以逻辑锥(logic cone)为基础,已经过多年的粹炼。这套系统现可运用延展逻辑锥方法,由单一锥体延展排除标准,进一步减少「噪声」因素,提供错误排除功能。工程师能够更迅速地找出应优先处理的ND错误。新的错误排序与优先排序功能可说明特定错误类别(fault class)中,那一个ND错误应率先分析,以及该使用那一个测试程序。特定ND错误的测试也会依据传输时对输出造成的影响为基准自动排序。

Certitude系统在找出足够的重要结果时会自动停止,如此一来工程师便能够持续分析、修正并排除问题。这项侦测自动停止功能有赖预先定义的标准,譬如优先错误类别以及类别中的ND错误,以验证目标为基础,定义出一个合理的中止点。除此之外,由于Certitude在不同作业间源代码经常变动,因此这套工具采用自动化错误ID架构,能够明确对应错误ID,让用来分析结果的报告内容维持一致性。

更简单完整的验证 Signoff

SpringSoft也将引进新使用模式做为Certitude平台扩充的一环,能够让Certitude配置在早期的验证流程中,评估环境侦测非特定行为的能力。在大多数的SoC验证环境中,检验程序基础架构基本上在所有撰写测试方案前就已就绪。这套新模式旨的设计主要在以更少的模拟资源,快速产生模拟结果,以便能在早期评估检验程序效能,并且指出问题所在,譬如不正确或漏失的查核程序。除此之外,SpringSoft的产品蓝图将进一步拓展Certitude应用范围,戮力实现完成度更高的功能验证sign-off工作。我们的研发成果涵盖各个领域,包括更完备的SoC层应用,以及强化的断言(assertion)支持。

problem about f4g沟道电阻电压Vishay推出突破性P沟道功率MOSFET SiB457EDK三星液晶显示屏价格3D液晶显示屏销售遇冷潮 价格偏高适用范围小芯片终端多核多样化应用加速芯片创新苹果供应商胜华已向91位中毒员工赔1000万元产能手机芯片SIA:12寸晶圆开始主导全球半导体产能常熟出口量锂电池常熟锂电池出口逾6亿美元芯片中国手机整合—2009年WiFi/WAPI芯片发展主旋律面板触礁 友达进军大陆涉猎光伏
Hitachi 日立 Sanyo 三洋 TCM-X100 6300892314 PLATE 765L--010-019FUJI 富士 IP3 IP-III IP-IIIE IP-III-4000 IP-III-5000 QMA1350 SHAFTHitachi 日立 Sanyo 三洋 TIM-5000 6300699647 CONNECTOR 741BC-11D-356JUKI Zevatech 东京重机 KE-2040 High Speed IC Mounter 高速IC贴片机 HX004200000 DEVICEJUKI Zevatech 东京重机 KE-2070 CHIP Shooter 高速SMT贴片机 KE-2080 KE-2080R FLEXIBLE Mounter 高速SMT通用贴片机 SL6031642TN SCREWPanasonic KME 松下 Next Production Modular NPM N510032235AA WASHER 87URWM10-6-2Panasonic Panasert 松下 MV2F MVIIF High Speed Chip Shooter Placement Machine 4A-1A-P-E-DC24 Z955-ND(Di RELAY 20A 24VDCYamaha 雅马哈 Philips Assembleon 飞利浦 SMT CL Type Feeder Parts 供料器配件 飞达配件 喂料器配件 送料器配件 KW1-M6511-000 BODY FTA-A44-1101Hitachi日立 Sanyo三洋 CT Type 32mm 44mm 72mm 56mm Embossed Feeder Accessories 供料器配件 飞达配件 4111414701 WASHER V 10X21X2 FW10JUKI Zevatech 东京重机 KE-750 KE-760 FS-750 FM-760 High Speed Flexible Chip Shooter 高速贴片机 SB704000100 BEARINGJUKI Zevatech 东京重机 KE-2010 High Speed Flexible Mounter 高速通用贴片机 PJ046052502 HOSE ELBOWAssembleon安必昂Philips飞利浦SPRING 532249233157Panasonic Panasert 松下 MV2F MVIIF MV2V MVIIV High Speed Chip Shooter Placement Machine N1P61018NA INPUT UNIT (OPTICAL MODULE)FUJI 富士 NXT SMT贴片机配件 Scalable Placement Platform COVER WIRING PB35083FUJI 富士 IP3 IP-III IP-IIIE IP-III-4000 IP-III-5000 QCA1121 PLATE
1.5626361370087 s