形式验证软件，包括五种工具，即C-to-RTL/RTL-to-Netlist的等价性验证（EsseFECT）、组合逻辑等价性验证（EsseFCEC）、模型检查（EsseFPV），以及两种实用验证Apps（EsseCC与EsseUNR），为数字芯片设计各个环节提供了高效的验证工具。其具有定制化和集成化两大特点，精准满足客户需求，大幅降低用户验证时间、提高验证完整性和准确性。PegaSim软件仿真相连，对覆盖率库文件中那些不可达部分的深入验证，显著增强软件仿真过程中的代码覆盖率。