上海思尔芯技术股份有限公司（S2C）自 2004 年设立上海总部以来始终专注于集成电路 EDA 领域。作为国内首家数字 EDA 供应商，公司业务已覆盖架构设计、软件仿真、硬件仿真、原型验证、数字调试、EDA 云等工具及服务。已与超过 600 家国内外企业建立了良好的合作关系，服务于人工智能、高性能计算、图像处理、数据存储、信号处理等数字电路设计功能的实现，广泛应用于物联网、云计算、5G 通信、智慧医疗、汽车电子等终端领域。
公司总部位于上海，并建立了全球化的技术研发与市场服务网络，在北京、深圳、西安、香港、东京、首尔及圣何塞等地均设有分支机构或办事处。
思尔芯在 EDA 领域的技术实力受到了业界的广泛认可，通过多年耕耘，已在数字前端 EDA 领域构筑了技术与市场的双优势地位。并参与了我国 EDA 团体标准的制定，承担了多项国家及地方重大科研项目，获国家级专精特新“小巨人”企业、国家工业软件优秀产品、上海市级企业技术中心等多项荣誉资质。
核心优势
卓越运行，贴近客户，方案完善，高附加值，敏捷响应，持续创新
技术实力
55 项授权专利
119 项软件著作权
152 项专利申请
20 个深耕行业
600+全球客户
产品服务
架构设计
PegaSim芯神驰 软件仿真工具
架构设计工具
架构类型，抽象层次，仿真技术
技术IP模块库
演示案例
软件仿真
PegaSim芯神驰 软件仿真工具
硬件仿真
OmniArk芯神鼎 硬件仿真系统
原型验证
Prodigy芯神瞳 原型验证解决方案
逻辑矩阵 LX，逻辑系统 LS，逻辑模块 LM，自动原型编译软件，深度调试套件，协同仿真软件，外置应用库
数字调试
Claryti芯神觉 数字电路调试软件
EDA云
EDA云服务，EDA云软件
解决方案
赋能芯片设计，塑造芯片未来
精准芯策略
面对RISC- Chiplet、Al和汽车电子等新趋势、新挑战,思尔芯围绕“精准芯策略”(Precision Chip Strategy,PcS),采用异构验证方法,以及并行驱动和左移周期方法,旨在确保芯片设计正确(Design the Chip Right),也确保设计正确芯片(Design the Right chip)。
异构验证方法
架构设计、软件仿真、硬件仿真、原型验证等不同的验证方法都有各自的优点，也有各自的不足。异构验证方法是基于最新的验证技术，整合多种验证方法，不断创新验证工具和验证流程，以确保设计出正确的芯片。
架构设计 Architecture Design
设计架构规划，系统性能分析，拓宽验证环境，虚拟场景应用，快速IP建模
软件仿真 Simulation
增量与并行自动化编译，高效波形处理显示，高性能约束求解器，完整的覆盖率分析
硬件仿真 Emulation
超大逻辑设计规模，全自动增量编译，超快运行速度，丰富仿真场景与工具
原型验证 Prototyping
高性能高密多核硬件，自动设计分割，深度调试系统，丰富的外置应用库
形式验证 Formal
等价性检查，模型检查，定理证明，覆盖率分析
数字调试 Debugger
源代码导航和追踪，全面的波形图调试，直观的原理图展示，深度的覆盖率分析，高效EDIF网表调试
验证云 Cloud Service
弹性算力，资源集中管理，节省成本，保护投资
左移周期，并行驱动
验证工具
验证工具对比
SOC/ASIC 设计规模不断增大，且结构愈加复杂，导致验证的复杂度呈指数级增长。为了缩短芯片的上市周期，在不同设计阶段选择不同的验证工具，提高生产效率，加速验证的收敛显得尤为重要。考量设计规模，在线调试能力，软件调试能力，低部署成本，可重用性，调试能力，编译速度和运行速度，选择不同的验证工具，完成日益复杂的验证项目。
完整验证方法
在芯片开发的各个阶段会有不同的设计与验证需求，我们的多个产品组合可满足从 IP 开发、SoC 集成、软硬件集成、软件开发、系统验证等各阶段的设计验证需求。通过使用我们的通用数字电路调试软件和丰富的验证 IP 库，建立统一的设计、验证与调试环境，确保在同一芯片项目开发中， 不同团队能够实现高效协作，从而提高整体开发效率。
热门应用
Arm，RISC-V ，物联网 IoT ，高性能计算 ，图像处理 ，网络通信 ，汽车应用
设计阶段
设计探究，IP 开发，硬件验证，系统检验，软件开发，兼容性测试
