S线上研讨会
2022年09月07日 19:30 - 20:30
静态分析是一种非基于仿真的测试活动,它会分析 RTL 代码有无缺陷——从不符合规范到已知与设计错误相关的缺陷。本次线上研讨会主要介绍如何使用 Formal 的静态检查工具来完成代码的检查,包括语法和时序性检查,RISC-V 里非法代码识别,跨时钟域及复位域检查。
立即扫码报名
✦
内容亮点
✦
• 自动检查工具Lint及AutoCheck介绍
• 借助OneSpin GapFreeVerification来发现“未知”的设计
• 如何使用CDC/RDC来发现仿真不能发现的致命错误
✦
讲师介绍
✦
陈佳华
西门子EDA功能验证产品资深技术顾问。负责数字验证及功能安全产品的支持,22年芯片设计及验证和EDA行业经验。曾就职于华为海思、Symwave及Synopsys等芯片和EDA公司。参与设计及验证过多款网络处理器、世界首款量产的USB3.0 RAID存储控制等芯片。在FPGA/ASIC数字功能仿真,形式验证以及跨时钟检查等数字验证领域拥有丰富的经验。