logo上海冉修科技有限公司

共找到21款产品
Logo
Questa Formal基于断言的形式验证工具
QuestaFormal是一款代码覆盖率检查工具，可以深度穷举分析设计的行为，从而可以探测到响应检查器断言违反的复杂错误和触发条件，发现验证激励的漏洞，提高验证的完备性。对于关键的控制模块，QuestaFormal验证可以确保设计在任何
Logo
xDX Designer
xDXDesianer是大规模硬件研发团队的首选设计输入工具，不仅支持MentorGraphics现有的PADS、Xpedition的PCB流程，还支持CadenceZuken等格式的PCB网表输出与正反向更新。xDXDesigne
Logo
HDL Author
HDL作者提高了单个工程师的生产力，同时提高了他们作为一个团队的工作能力。先进的编辑器和HDL代码可视化，以图形和表格的形式呈现设计，加快了FPGA和ASIC设计的设计创建和分析。时间就是金钱，但数据也是如此，所以HDL作者还通过管理设计数
Logo
xSD Systems Designer
xSDSystemsDesigner通过xDMdesign（Mentor独特的在制品数据管理中心）完全集成到XpeditionPCB设计流程中，为系统专家、硬件工程师、PCB设计师和电缆和线束设计师提供了一个独特的环境，以便在完
Logo
FPGA I/O Optimization
FPGAI/O优化可以消除FPGA和PCB设计组织之间的障碍，以更高的精度和速度实现并行设计过程，并提供正确的按结构FPGAI/O分配，允许在PCB过程中进行管脚交换和基于布局的I/O优化。FPGA设备的强大功能、灵活性和即时可用性创造
Logo
HyperLynx Analog
HyperLynxAnalog提供了集成到PCB设计流程中的完整模拟环境。允许用户在无缝驱动PCB布局设计系统的同时，为基础和复杂分析准备模拟的所有方面。扩展了DxDesigner的功能，包括混合信号和模拟电路设计模拟，以显著减少周期时间
Logo
Constraint Manager
ConstraintManager是一种用于管理和维护约束条件的工具，通常用于软件开发和工程设计中。它可以帮助团队管理和跟踪各种约束条件，包括时间、资源、成本和技术要求等。ConstraintManager通常提供了一个集中的平台，使团
Logo
PADS Standard
PADSStandard是一款桌面自动化设计解决方案，可以化解日常遇到的PCB设计挑战。PADSStandard可在直观且简单易用的环境中提供原理图设计和Layout功能，非常适用于复杂度较低但成本优先考虑的电路板设计。
Logo
xPCB Layout
ExpeditionxPCBLayout是一款专门针对有多个设计团队和复杂组织结构的大公司和科研院所的产品。ExpeditionxPCBLayout是ExpeditionPCB的升级版本，在功能和设计界面上都做了重大创新，一改
Logo
HyperLynx PI
HyperLynxPI是现代电子设计的重要组成部分。可在布局前后对直流PDN和交流PDN的性能进行分析。HyperLynxPI能助您将设计性能最优化，并最大程度提高可靠性，同时将元器件和制造成本降至最低。硬件工程师、PCB设计师和信号