VShark
VShark（Verilog功能仿真工具）是一款针对Verilog RTL设计进行功能仿真的国产自主EDA工具，采用事件驱动仿真模型对RTL设计进行模拟。VShark兼容IEEE1364-2005标准及部分IEEE1800-2017标准，支持命令行及图形界面的实时调试，覆盖率分析，仿真快照及恢复，具有优异的仿真性能。VShark原生兼容公司自研统一验证云平台，具备与公司自研原型验证工具InfinitPro和仿真加速工具联合仿真及调试能力，为设计和验证者带来灵活高效的仿真体验。
产品功能
-
可靠的RTL功能仿真验证
兼容IEEE1364-2005和部分IEEE1800-2017语法标准，支持VPI接口，为用户提供准确的逻辑功能模拟结果。
-
灵活的实时调试能力
通过CLI/GUI进行仿真调试，支持语句/仿真时刻层面的断点、单步，具备丰富的仿真行为和流程控制指令，能够灵活控制仿真进程。
-
便捷的用户交互体验
通过CLI/GUI进行仿真调试，支持语句/仿真时刻层面的断点、单步，具备丰富的仿真行为和流程控制指令，能够灵活控制仿真进程。
-
全面的仿真支持能力
支持语句/分支/条件/翻转/状态覆盖率分析，支持多点及定时仿真快照和恢复。拥有专用高性能数据库，支持对大容量仿真数据的高速存取。多方位提升用户设计验证效率。
产品优势
-
优异的仿真性能
运用先进的编译器优化技术、并行仿真技术提升仿真性能。
-
具备云平台部署及协同验证能力
工具支持云服务方式部署，可集成在统一验证云平台中，与原型验证工具和仿真加速工具协同，提供更加灵活高效的验证方案。
-
自主可控
核心技术自主可控，不受国际环境变化的约束，兼容多种主流国产硬件平台和操作系统。