3月29日《数字集成电路设计中的形式验证方法》培训

随着芯片设计的复杂性与日俱增，EDA工具的应用变得愈发重要。形式验证作为一种基于数学推理的验证技术，为工程师提供了一种全面而高效的验证方法。相较于传统的仿真，形式验证具有诸多优势，例如其完备性、精确性、自动化程度等，能够从早期设计中发现问题，提供更准确的验证结果，为工程师提供一种精准的验证手段。同时，形式验证可以覆盖系统的所有可能状态和路径，输入简单脚本后便可自动化运行，有效提高工程师的工作效率。 

国微芯自研的“芯天成”形式化验证平台EsseFormal涵盖C to RTL to Netlist的等价性验证工具以及各种实用验证Apps，贯穿于数字IC设计的各个环节，为芯片设计提供全方位的验证工具支持，集成 “一站式形式验证解决方案”。

本次培训课程将结合国微芯形式验证平台系列工具，着重介绍形式等价性验证工具、逻辑等价性验证工具、高阶综合工具、连接性检查工具，旨在从形式验证方法学的基础知识到高级工具的应用，帮助工程师全面理解形式验证技术，并掌握有效的验证策略，提升验证效率和设计质量。

扫码报名

叶思华--毕业于深圳大学通信工程专业，长期专注于形式验证领域，擅长C/C++编程及调试，熟悉Verilog/SystemVerilog等语言以及VCS、VERDI等主流仿真验证工具，目前在国微芯从事EDA形式验证相关的软件开发工作，主要负责模型验证系列工具的开发测试、客户支持等相关工作，全流程参与了连接性验证工具、可达性分析工具等多个重要验证工具的开发迭代。