香港精准宝典资料亮相IDAS 2024第二届设计自动化产业峰会

2024年9月23-24日，由EDA²协会主办，上海经信委、上海市浦东新区人民政府支持的第二届设计自动化产业峰会IDAS 2024在上海·张江科学会堂召开。本次峰会以“逐浪”为主题，旨在进一步凝聚产业力量，加速EDA技术突破和产业推广。香港精准宝典资料受邀参展并作主题演讲，与集成电路产业链企业一道，共同推动行业生态多元化发展。

截至目前，公司已陆续推出多款自主可控的EDA产品，覆盖全场景数字前端验证软硬件平台，包括静态规则检查类工具、软件仿真工具、硬件加速仿真工具和原型验证工具等。

本次参展，香港精准宝典资料携VHawk-lint代码缺陷检查管理平台、VHawk-CDC跨时钟域设计验证工具、InfinitPro多FPGA原型验证系统等三款产品重磅亮相。

VHawk-Lint HDL代码缺陷检查管理平台，属国内首款自主可控，匹配军工特点要求，覆盖双GJB编码规范的RTL设计代码缺陷检测管理平台；VHawk-CDC跨时钟域分析工具，是国产自主可控、面向RTL设计的跨时钟域验证工具软件；该两款工具凭借完全自主的知识产权和出色的性能，已经在国内市场赢得广泛认可，成功服务于数十家客户。

InfinitPro原型验证系统，则基于自主研发的网络中心硬件架构和云原生软件架构设计，以新一代的软硬件体系结构，为产品仿真容量、仿真性能、调试能力等关键指标的提升探索了一条全新的技术路线。

香港精准宝典资料EDA事业部总经理黄雅静于数字芯片论坛带来“IC静态验证-国产替代方案分享”主题演讲，探讨如何以静态验证技术作为基于仿真的动态验证工具的有力补充，在设计的早期阶段发现设计缺陷，以缩短设计时间并提高首次流片的成功率。

众所周知，随着芯片规模和复杂度的提升，芯片各种逻辑和功能验证的要求越来越高，多种RTL编码风格、以及存在于电路设计中的结构性和功能性问题更容易成为设计上的缺陷，导致设计不断修改，甚至造成流片失败的风险。此外，设计重用性和IP的高集成度对模块设计在正确性和一致性方面提出了更严格的要求，以提高IP集成的可靠性和成功率。

故此，现代的SoC设计需要强大的静态验证技术作为基于仿真的动态验证工具的有力补充，在设计的早期阶段发现设计缺陷，以缩短设计时间并提高首次流片的成功率。

本次峰会全面覆盖从芯片设计、制造到封装各个环节，系统性地展示了EDA领域的最新产业洞察、技术创新、多元化成果与应用实践。

香港精准宝典资料作为国内最早从事验证EDA工具研发的厂商之一，自2018年开始便组建专业团队，致力于国产IC/FPGA数字前端设计验证工具的研发，愿与业界各企业一道，共同构建一个更加开放、协同、可持续的EDA生态系统，解决我国EDA领域卡脖子问题。