CAD

Questa Formal基于断言的形式验证工具-卡核

Questa Formal基于断言的形式验证工具

制造商:Mentor Graphics 利用Questa Formal验证引擎,可以深度穷举分析设计的行为,从而可以探测到响应检查器断言违反的复杂错误和触发条件,发现验证激励的漏洞,提高验证的完备性。 对于关键...
xPCB Layout-卡核

xPCB Layout

制造商:Mentor Graphics Expedition xPCB Layout 是 Expedition PCB 的升级版本,在功能和设计界面上都做了重大创新,一改以往高端 PCB 工具使用复杂、上手难的问题,充分兼顾易用性和功能性,...
CAM350-卡核

CAM350

制造商:DownStream Technologies, LLC CAM350是一款能将能将PCB线路板设计图转换为具体制造工艺的软件, 能够对包括制造、信号层、钻孔、阻焊等等分析检查,为设计人员提高工作效率、节省开发...
FVA-Workbench-卡核

FVA-Workbench

制造商:FVA Software & Service GmbH FVA-Workbench是一个制造商中立的软件解决方案,用于传动系统的建模、参数化和计算。它将FVA专家网络50年的研发经验整合到一个平台中,使这些综合知识...
NTKO附件管理控件-卡核

NTKO附件管理控件

制造商:重庆软航科技有限公司 使用NTKO 附件管理控件[多文件上传控件],能够在浏览器中启动原始文件对应的应用程序,对图像文件,OFFICE文件,AUTOCAD文件,文本文件等任何文件进行编辑,打印...
Electrode-卡核

Electrode

制造商:Delcam中国公司 Delcam Electrode 电极全面解决方案是Delcam 有机整和其CAD设计软件PowerSHAPE、CAM加工软件PowerMILL,及加工检测软件PowerINSPECT而成的一个集电极设计、加工、和检测...
cksoft的头像-卡核cksoft
1.5W+1980
Cadence Rigid-Flex-卡核

Cadence Rigid-Flex

制造商:Cadence Design Systems Allegro PCB 编辑器中新的设计内层间检查提供了在两个不同层之间检查几何形状的能力。在典型的多氯联苯设计中,各种面罩和表面表面饰面需要验证适当的间隙和覆...
Blender  3D创作套件-卡核

Blender 3D创作套件

制造商:Blender FoundationBlender是免费和开源的3D创作套件。它支持3D建模,rigging, animation,仿真,渲染,合成和运动跟踪,甚至视频编辑和游戏创作。Blender 拥有方便在不同工作下使用的...
cksoft的头像-卡核cksoft
1.9W+1979
TMMIS隧通隧道监控量测后处理软件-卡核

TMMIS隧通隧道监控量测后处理软件

制造商:青岛海徕天创科技有限公司 TMMIS隧通监控量测后处理软件是根据多年监测技术和现场经验,采用先进的计算机技术和科学的数据处理方法研发的,专门针对隧道及地下工程检测数据分析、统一管...
xSD Systems Designer-卡核

xSD Systems Designer

制造商:Mentor Graphics Xpedition xSD Systems Designer将PCB设计流程扩展到多板电子系统定义、分区、优化和实现 它为多板系统的定义和实施提供了自动化的数据和连接管理功能,显著缩短了设计...
Delcam Exchange-卡核

Delcam Exchange

制造商:Delcam中国公司 Delcam Exchange是一款功能强大,高速、安全的 CAD 数据接口转换软件,它既可与Delcam的其它软件模块集成运行,也可独立运行,还支持在线数据转换服务,是目前业界最领...
cksoft的头像-卡核cksoft
1.8W+1970
A9CAD-卡核

A9CAD

A9CAD 2020软件被称为最受推荐的程序之一,您最好在个人计算机中拥有它,特别是如果您真的想完美轻松地创建最佳的二维图纸。换句话说,你会发现你可以画一些形状,可以是线条、圆形、矩形等,完...
cksoft的头像-卡核cksoft
1W+1969