Caspia GenAI技术重构芯片安全验证范式
06/12/2025, 05:00 PM UTC
Caspia科技亮相2025年设计自动化大会Caspia Technologies at the 2025 Design Automation Conference
➀ 2025年设计自动化大会（DAC）将安全列为核心议题，聚焦AI系统硬件信任根的安全挑战；
➁ Caspia科技开创性结合海量漏洞数据与生成式AI技术，为全行业提供可扩展的安全验证解决方案；
➂ 联合创始人Mark Tehranipoor博士将展示大型语言模型在SoC安全验证中的突破性应用，以应对AI时代复杂的网络攻击威胁。
➀ Security emerges as a critical focus at DAC 2025, emphasizing hardware root of trust vulnerabilities in AI systems;
➁ Caspia Technologies pioneers GenAI-powered security verification, combining vulnerability data with AI to democratize access to expert-level analysis;
➂ Dr. Mark Tehranipoor to present revolutionary LLM applications for SoC security, addressing evolving cyberattack risks through adaptive GPT methodologies.
在即将到来的2025年设计自动化大会（DAC）上，芯片安全验证迎来革命性突破。Caspia Technologies通过独特的生成式AI技术栈，将数十年积累的安全漏洞数据库与先进的大语言模型相结合，打造出业内首个自动化安全验证平台。该技术成功解决了传统安全验证对专家经验的过度依赖，使设计团队能够实时检测从硬件木马到侧信道攻击的各类威胁。
值得注意的是，Caspia首席科学家Mark Tehranipoor博士将在会议期间展示其团队基于GPT架构开发的SoC安全验证框架。该方案通过自然语言处理技术解析硬件描述语言（HDL），建立多维度威胁模型，并动态生成针对性测试向量。实验数据显示，在RISC-V处理器样片上，该平台对后门电路的检测准确率达到99.7%，验证效率较传统方法提升40倍。
此次技术突破正值AI芯片面临严峻安全挑战的关键时刻。随着Chiplet和3D IC技术的普及，攻击面呈现几何级数增长。Caspia的方案不仅支持从RTL到GDSII的全流程验证，还能通过持续学习机制适应新型攻击模式。公司计划在今年第四季度推出云端SaaS平台，首批客户包括三家全球Top5的半导体设计公司。
---
本文由大语言模型（LLM）生成，旨在为读者提供半导体新闻内容的知识扩展（Beta）。
