排序
Questa Formal基于断言的形式验证工具
制造商:Mentor Graphics 利用Questa Formal验证引擎,可以深度穷举分析设计的行为,从而可以探测到响应检查器断言违反的复杂错误和触发条件,发现验证激励的漏洞,提高验证的完备性。 对于关键...
Ansys medini analyze for Semiconductors 半导体功能安全分析
制造商:ANSYS, Inc. Ansys medini analyze 支持芯片各个级别的关键安全分析方法,从集成组件的 IP 设计到 SoC 和电子板。 一、产品概述: 1、半导体分析与整体系统分析集成 Ansys medini analy...
Sigrity OptimizePI
制造商:Cadence Design Systems OptimizePI是业界第一款自动化的性能与成本优化工具,允许用户直接选择最佳性价比,最佳性能等优化目标,OptimizePI将为用户从海量的组合方案中选出最符合优化...
ANSYS RedHawk-SC
制造商:ANSYS, Inc. Ansys RedHawk-SC 是经生产和硅晶认证的新一代设计的电源噪音和可靠性签核的新标准。下层灵活的计算体系结构具有在几小时内处理最大芯片的可扩展性。大数据分析工具能够实...
iModeler – 无源器件PDK建模工具
制造商:芯和半导体科技(上海)有限公司 工艺设计包(PDK)是为模拟、射频和混合信号IC设计而提供的完整工艺文件集合,是沟通IC设计公司、代工厂和EDA公司的桥梁,是设计公司用来做验证的基石...
DesignSpark PCB
制造商:RS Components DesignSpark PCB完全免费, 且功能齐全,没有刻意的设计限制。每个项目都有无限的原理图图纸、面积大至1平方米的电路板,并没有层数的限制,让用户能够毫无约束地发挥创意...
CADthru
制造商:Software Cradle Co., Ltd. CADthru是一种数据转换工具,用于准备用于CFD分析目的的CAD数据。 CADthru 强大的功能可以快速、自动地修复原始 CAD 数据中的几何和拓扑数据缺陷。CADthru ...
PDFin AutoCAD Plug-in
制造商:AutoDWG AutoDWG PDFin AutoCAD 插件,比以往任何时候都更快!将Vector PDF转换为可编辑的DWG和DXF,要求AutoCAD插件运行,支持AutoCAD 2016~R14版本。 主要特征: 通过智能对象识别提...
WiseImage矢量化软件
制造商: 北京友好创达科技有限公司 WiseImage是最先进的光栅矢量化软件及光栅矢量混合编辑软件,是最先进的对象识别技术与计算机技术的完美结合。依据运行平台的不同分为两个版本:Wise...
ScanIP
制造商:Synopsys Inc. ScanIP是由Simpleware Ltd.开发的图像处理软件包.ScanIP可视化和分割来自MRI,CT或Microtomography的3D图像数据。分段图像可以导出为CAD和STL文件,用于计算机辅助设计,...
SAP 3D Visual Enterprise
制造商:SAP思爱普 SAP 3D Visual Enterprise Author是一款功能强大的三维模型制作软件,主要适用于创建的 3D 数据和动画资料。可以查看常见的dwg图纸格式,比如bmp、jpg、png、tif等格式,还可...
Tanner ASIC
制造商:Mentor Graphics 全新的Tanner ASIC套包支持完整的模拟/数模混合集成电路(IC)的设计、仿真与验证流程,包括芯片前端电路设计、Spice/VHDL/Verilog/混合信号仿真、芯片版图设计及面向F...







