面向FPGA/ASIC工程行业的仿真验证平台，用于RTL功能仿真、调试与覆盖率分析RTL功能仿真与波形调试断言与覆盖率驱动验证多语言混合仿真支持当前版本：2024.1