数字芯片设计者在层次化物理设计环境中完成从门级网表到布局布线收敛的重要工具，可以帮助您将Timing、Area和Power与您的设计进行匹配，JupiterXT通过下面的方法来管理和优化您的设计：
1、 物理版图的层次化管理
2、 的面积、寄生参数和时序估计
3、层次化布局布线流程中，的子模块时序加载
Hercules
作为物理验证的者，Hercules-II能验证超过1亿只晶体管的微处理器、超过1000万门的ASIC和256MB的DRAM，数字车载短波电台，推动技术前沿不断进步。Hercules通过提供快的运行时间和高速有效的纠错（debugging）来缩短IC设计的周期。它综合且强大的图形界面能迅速帮助设计者发现并处理设计错误。Herculus具有进行层次设计的成熟算法，进行flat processing的优化引擎和自动确定如何进行每个区域数据处理的能力—这些技术缩短了运行时间，提高了验证的度。
NanoSim (Star-SIMXT)
NanoSim集成了业界的电路技术，车载数字电视怎么操作，支持Verilog-A和对VCS器的接口，能够进行电路的工具，其中包括存储器和混合信号的。通过Hierarchical Array Reduction (HAR)技术，NanoSim 几乎可以无限大的存储器阵列。
数字IC自动测试设备
集成电路(Integrated Circuit，IC)测试是集成电路产业的一个重要组成部分，它贯穿IC设计、制造、封装、应用的全过程。集成电路晶圆(Wafer Test)测试是集成电路测试的一种重要方法，是保证集成电路性能、质量的关键环节之一，是发展集成电路产业的一门支撑技术。而IC自动测试设备(Automatic Test E，ATE)是实现晶圆测试必不可少的工具。 首先介绍数字IC自动测试设备的硬件系统设计架构，分析了板级子系统的硬件结构及功能。
重点讨论了数字IC自动测试设备中两种关键的测试技术:逻辑功能测试和直流参数测量，在系统分析其工作原理和测试方法的基础上，设计了硬件电路，并通过实验平台分别验证了电路的测试功能。 在IC自动测试设备中，实现直流参数测量的模块称为参数测量单元(Parametric Measurement Unit，PMU)。PMU的测量方法有两种，加压测流和加流测压。为了验证所设计的直流参数测试单元硬件电路，在的第四章介绍了一种构建简单自动测试系统的验证方法。
针对一种DC-DC开关电源转换芯片，首先详细分析了该芯片各项参数的测试原理，设计了以MCU作为控制核心、集成2个PMU和其他一些硬件电路的简单测试板;然后根据芯片的测试要求设计了流程控制程序;后，车载数字，通过实验验证了测试板的PMU能够满足参数测量精度要求。 的后部分，详细列出了直流参数测量单元验证板对19片WAFER的测试统计数据。实验表明，PMU模块的电压测试精度为0.5%以内，微安级电流的测试精度为5%以内，自动测试过程中没有出现故障。验证了PMU模块能够满足数字IC自动测试设备的直流参数测试要求。
数字电路高温老炼测试系统是一种用于数字电路老化筛选的专业试验设备，它可实现在动态老炼过程中对器件进行功能测试。首先概括介绍了可靠性筛选试验、器件高温老炼原理和方法等基础知识，并在阐述数字电路动态功率老炼和在线功能测试基本原理的基础上，对该系统的硬件组成、工作原理、结构特征、技术指标等方面做了介绍。
将重点放在系统软件的开发和设计上。对用户需求和软件设计要求分析后，首先根据系统功能对软件进行总体设计，确定了两个主功能模块：功率老炼模块、功能测试模块和三个辅助模块：工作电压控制模块、测试器件数据库管理模块、结果处理模块，并将主模块细分出若干子功能模块。然后结合设计语言——Delphi的特点，进一步详细论述了各功能模块的设计和软件实现，并给出相应的程序实现界面。 后总结了该系统软件的特点，并提出了软件进一步完善的方案。
