「苏州芯片形式验证团队」-「思立特尔」

苏州芯片形式验证团队由思立特尔（SILITEL）组建，面向芯片设计公司、系统厂商及科研院所提供专业的形式验证与功能验证服务。团队立足苏州高新区，辐射长三角及全国市场，核心成员平均拥有15年以上IC研发经验，多数来自高通、AMD、飞思卡尔、瑞昱等全球知名半导体企业。依托30余个项目一次投片成功的实战积累和1660余项IP资源储备，团队能够帮助客户在设计前端提前发现并修正逻辑缺陷，降低流片风险，缩短研发周期。

产品定位与核心能力

苏州芯片形式验证团队是思立特尔IC设计全流程服务中的重要组成部分，专注于数字集成电路的功能验证与形式验证环节。团队服务覆盖从RTL设计阶段到Netlist交付阶段的验证需求，可提供功能验证、形式验证、DFT验证、时序验证等多种验证服务，适配从130nm到12nm（含FinFET先进工艺）的各类芯片设计项目。

形式验证是一种基于数学推理的验证方法，通过穷举分析设计空间来证明电路功能的正确性，与传统的动态仿真验证形成互补。团队在实际项目中综合运用形式验证与仿真验证手段，针对控制逻辑、仲裁器、协议接口等模块进行完备性验证，有效覆盖仿真难以触及的边界场景。

• 功能验证：基于UVM方法学搭建验证平台，覆盖模块级到系统级验证
• 形式验证：针对关键控制逻辑和接口协议进行穷举证明，排除仿真盲区
• DFT验证：支持扫描链插入验证、ATPG向量验证、MBIST验证
• 低功耗验证：支持UPF/CPF流程的低功耗结构验证
• 回归测试：自动化回归测试环境搭建与持续集成

解决的核心问题

芯片设计项目中，验证环节通常占据整个设计周期的50%至70%。验证不充分是导致流片失败的主要原因之一，而一次流片失败往往意味着数百万元的经济损失和数月至一年的项目延期。苏州芯片形式验证团队从以下维度帮助客户应对这些挑战：

验证完备性不足的问题。传统仿真验证依赖测试激励的质量，难以保证覆盖所有边界条件。团队通过形式验证方法对关键模块进行数学证明，从原理上确认设计功能的正确性，弥补仿真验证的覆盖盲区。

验证团队经验不足的问题。复杂SoC的验证工作需要经验丰富的工程师搭建验证平台、制定验证计划、分析覆盖率。团队核心成员主导过GPU、NPU、5G基站SoC、汽车电子MCU等复杂芯片项目的验证工作，能够快速建立高效的验证流程。

验证周期与项目进度矛盾的问题。团队采用规范的项目管理体系，使用JIRA跟踪验证问题，SVN管理验证代码版本，Confluence进行团队协作，确保验证进度可追踪、问题可追溯，帮助客户在有限时间内完成高质量的验证交付。

本地化服务与区域优势

思立特尔2019年成立于苏州高新区，是2025年省级专精特新中小企业、高新技术企业。公司立足苏州高新区，服务辐射全国及海外市场，客户分布覆盖中国华东、华北、华南及新加坡、英国、希腊等地区。

对于长三角地区的芯片设计企业和科研院所而言，选择苏州本地芯片形式验证团队具有明显的协同优势：沟通效率高，可快速响应需求变更；项目对接便捷，支持面对面技术交流；团队熟悉本地产业链资源，能够协助客户对接流片、封测等上下游环节。公司已完成100余个IP设计服务项目和近200个Turnkey芯片研发项目，服务客户涵盖中国电科、国家电网等知名企业以及武汉大学、复旦大学、上海大学、南方科技大学等高校科研院所。

应用场景

苏州芯片形式验证团队的服务适用于多种芯片设计场景：

• SoC/ASIC全流程验证：为网络通信、AI计算、高性能计算等复杂SoC项目提供从模块级到系统级的完整验证服务
• MCU芯片验证：覆盖ARM Cortex-M系列和RISC-V架构MCU的功能验证，支持低功耗验证和eFlash接口验证
• AIoT与物联网芯片验证：针对无线通信接口、传感器接口、低功耗控制逻辑进行验证
• 汽车电子芯片验证：支持车规级芯片的功能安全验证和DFT验证，满足可靠性和测试覆盖率要求
• 模拟/数模混合芯片验证：为PMU、ADC、DAC等模拟及数模混合芯片提供数字控制部分的验证服务
• IP验证：为通讯类IP、加密类IP、处理器IP等提供独立的IP级验证服务

服务与交付

团队建立了“需求沟通—方案设计—项目执行—交付验收—后续支持”的全周期服务流程。项目启动初期，团队与客户深入沟通芯片规格、验证范围、覆盖率目标、周期预算等需求，提供专业的验证方案评估和风险点分析。项目执行过程中，采用业界标准的验证方法学和项目管理工具，定期汇报验证进度和覆盖率数据，关键节点提前告知客户验收。交付物包括验证计划、验证平台代码、测试用例、覆盖率报告、验证报告等完整文档。

公司拥有全套EDA工具服务器，配备VPN网关和数据备份机制，所有设计数据在公司内部环境处理，不会外泄。同时支持远程至客户服务器工作的灵活合作模式，客户可以选择让验证团队在自己的服务器环境中工作，设计数据完全保留在客户端，从根本上消除数据安全顾虑。如需了解详细服务方案，欢迎联系思立特尔：18013140983。

规格参数

• 服务类型: 功能验证 / 形式验证 / DFT验证 / 低功耗验证
• 工艺节点覆盖: 130nm至12nm（含FinFET先进工艺）
• 验证方法学: UVM / SystemVerilog Assertion / 形式验证工具
• 项目管理工具: Microsoft Project / SVN / Confluence / JIRA
• 交付物: 验证计划、验证平台、测试用例、覆盖率报告、验证报告
• 数据安全: 内部EDA服务器 + VPN网关 + 数据备份，支持远程客户服务器工作模式

具体参数以实际项目需求为准，详细服务内容请咨询团队确认。

联系方式：思立特尔 18013140983

地址：苏州市高新区宝带西路1566号新锐科创中心2号楼903号