苏州鼎拓信息技术有限公司

ModelSim是ModelTechnology的HDL硬件描述语言的仿真软件，该软件可以用来实现对设计的VHDL、VerilogHDL或是两种语言混合的程序进行仿真，同时也支持IEEE常见的各种硬件描述语言标准.无论是从使用界面和调试环境，还是从仿真速度和效果上看，ModelSim都可以算的上是业界比较优秀的HDL语言仿真软件。

PrecisionPhysical是PrecisionRTL和PrecisionRTLPlus的超级集合，精确的物理特性后放置和路由（p&R）物理合成，以满足复杂FPGA设计的严格时序要求。除了p&Rphysicalsynthesis，Precisionphysical为进一步的物理优化提供了一个交互式布局编辑器，并为增量更改提供了强大的布局重用流。

PrecisionRTL是一款FPGA合成解决方案，提供高质量的结果，通过独立于供应商的FPGA合成解决方案提供一流的结果质量。它与用于等效性检查的FormalProLEC和用于使用ModelSim/Questa进行设计捕获和设计验证的HDLDesigner紧密集成。

CatapultHigh-LevelSynthesis使设计师能够使用行业标准ANSIC++和SystemC来描述功能意图，并提升到更高效的抽象级别。从这些高级描述中，Catapult生成生产质量RTL。通过加快RTL的运行速度和自动生成无缺陷RTL，Catapult显著缩短了RTL验证的时间。Catapult平台将合成与正式的C属性检查功能结合起来，以便在C/C++/SystemC级别早期发现错误，并在合成之前全面验证源代码。

Oasys-RTL是一款数字电路设计方案。它解决了几十年前设计的传统RTL合成工具的局限性。OasysRTL的设计满足了复杂、先进的节点、高性能设计的需求，能够处理1亿多个门，运行时间缩短10倍。OasysRTL在更高级别上集成了全芯片级物理合成、布局规划和优化，使RTL设计师能够在设计周期的早期准确识别和解决时间、可布线性和电源问题。

Catapult是一款硬件设计解决方案组合，用于基于C++和SystemC的高级合成(HLS)。Catapult的物理感知、多VT模式、低功耗估算和优化以及一系列领先的验证解决方案。Catapult高级综合平台使设计师能够使用行业标准ANSIC++和SystemC来描述功能意图，并提升到更高效的抽象级别。高度交互式的Catapult工作流提供了对合成过程的全面可视性和控制，使设计师能够快速地集中精力，实现最佳的功率、性能和面积

PowerProRTL是一个完整的低功耗平台解决方案，可以在RTL开发周期中精确测量、交互式探索和彻底优化功耗。使用PowerPro，设计师可以直接在RTL设计上评估功耗，而不必经历耗时的物理实现步骤。PowerPro的物理感知流为估计功率数提供了必要的准确性。

HDLDesigner是硬件设计复用、创建和管理环境。广泛地应用在FPGA,平台化FPGA,结构化ASIC，ASIC和SOC等多种设计流程中。HDLDesigner将深度分析功能、高级创建编辑器以及完整的项目和流程管理相结合，提供强大的HDL设计环境，提高单个工程师和团队的工作效率（本地或远程），并实现可重复且可预测的设计流程。