zpwsmile朗讯设备选择HDAC进行静态功能验证
朗讯设备选择HDAC进行静态功能验证
加利福尼亚州桑尼维尔 -HDAC公司，RTL设计高级验证技术供应商，今天宣布朗讯科技有限公司远程访问组已将HDAC的静态功能验证工具Solidify添加到其基于Verilog的设计环境中。
“我们正在使用Solidify的新静态方法来减少我们验证块的时间，”Lucent Technologies位于加利福尼亚州阿拉米达的硬件工程总监Steve Shaffer表示。“Solidify是我们整体的一部分VLSI验证程序可以在更短的时间内用更少的精力检查拐角情况并发现难题。“
HDAC总裁兼首席执行官Ramin Hojati说：“项目经理报告说，他们50％到70％的员工时间用于功能验证，问题的发展速度比设计复杂性快得多在集成之前确保块是干净和坚固的，确保芯片级测试能够找到更少的错误.Solidify可以实现这一点，因为它通常可以在几秒钟内分析相当于天文数量的向量。我们很高兴能与朗讯科技远程访问小组提供我们的新验证技术。“
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。
举报投诉
-
华强pcb线路板打样
+关注
关注
5文章
14629浏览量
42978
发布评论请先 登录
相关推荐
如何正确选择医疗测试设备？
选择医疗测试设备需理解测试规范，考虑被测设备标准，评估替代方案。实施风险管理，遵循ISO标准，确保医疗设备质量和患者安全。购买时考虑准确性、功能
利用静态检查工具完善功能安全中测试覆盖率
在功能安全中测试覆盖率是比较重要的概念，也是在验证过程中通常需要花费时间较多的步骤，如果能借助于静态检查工具的死逻辑查找和声明、测试用例自动补全等功能往往能取得事半功倍的效果。
Lint静态验证工具如何助力IC设计
的静态验证方法实现了将原本在仿真、综合、布局布线阶段出现的问题移动到RTL阶段进行检测和分析，帮助IC设计者在早期发现和诊断设计缺陷，缩短芯片整体开发周期，降低成本。
全面解析砖式电源测试：设备选择与电源检测系统功能探讨
测试设备和ate检测系统是完成砖式电源模块检测的重要组成部分，要正确选择测试仪器型号，精准完成电源测试。NSAT-8000电源测试系统适用于各类AC/DC、DC/DC电源模块测试，想了解具体的测试解决方案，前往纳米软件官网查看详细内容。
DM平台管理设备如何进行固件升级？
1）查看IR路由器原始固件版本以及序列号，可以看到版本为为1.0.0.r11700。
2）IR设备配置设备远程管理，选择管理》设备远程管理平台，进
发表于 07-25 06:22
CY7C65211在linux设备下进行测试，提示等待设备EEPOM超时如何解决？
：打印设备列表
2：更改设备选择--所选设备：[设备编号 0]：[接口编号 0]：SPI
3：输入 I2C/SPI 闪存页地址和要写入/读取的长度。
4：
发表于 07-05 06:08
VScode目标设备选择esp32-s3时报错的原因？
使用VS code编辑和编译esp32-s3，目标设备选择esp32-s3时报错，报错信息如附件图一
目标设备选择esp32-s3时报错信息
：
使用esp32-s2时编译和下载运行都没问题。编译
发表于 06-19 06:45
工控机设备选购指南
工控机（工业控制计算机）是工业自动化中不可或缺的核心设备之一。选择合适的工控机对于确保生产线的稳定运行、提高效率及降低维护成本至关重要。创腾翔科技将为您提供全面的工控机选购知识，帮助您根据需求选择最合适的
系统配置清单和设备选型（输电线路分布式故障定位监测装置）
的“眼睛”和“耳朵”，能够实时感知线路的状态，捕捉异常信号。同时，我们还需要考虑辅助设备，如电源、安装支架等，它们为监测装置提供稳定的运行环境。而在设备选型方面，则是要根据输电线路的特点和实际需求，选择性能稳定、
鸿蒙原生应用元服务实战-发布时多设备选择注意事项
运营人员沟通不充分的话，上架运营人员可能会选择多设备发布，试一试，但是一但选择了多设备发布，AGC没法撤销多设备发布，实际暂时上技术不支持多
发表于 02-21 10:22
请问哪些PSoC 4000设备支持I2C、SPI和UART？
哪些 PSoC 4 设备支持 I2C、SPI 和 UART？
使用 PSoC Creator 中的设备选择器会显示所有 PSoC 4000 设备都有通信块。设备选择器并未说明这些通信块
发表于 01-31 07:31
无线网IP静态好还是DHCP好
的选择。 静态IP地址： 静态IP分配是手动分配给每个设备的固定IP地址。一旦设备被分配了一个IP地址，它将一直保持不变，无论它是否连接到网
工商网监
评论