提交您的信息

*姓名

*公司名称

*电话

*邮箱

*验证码

*选择试用产品

软件质量测试工具
软件安全测试工具
EDA工具
选择您使用的产品
关闭
提交

VShark

VShark(Verilog功能仿真工具)是一款针对Verilog RTL设计进行功能仿真的国产自主EDA工具,采用事件驱动仿真模型对RTL设计进行模拟。VShark兼容IEEE1364-2005标准及部分IEEE1800-2017标准,支持命令行及图形界面的实时调试,覆盖率分析,仿真快照及恢复,具有优异的仿真性能。VShark原生兼容公司自研统一验证云平台,具备与公司自研原型验证工具InfinitPro和仿真加速工具联合仿真及调试能力,为设计和验证者带来灵活高效的仿真体验。

产品功能
  • 可靠的RTL功能仿真验证

    兼容IEEE1364-2005和部分IEEE1800-2017语法标准,支持VPI接口,为用户提供准确的逻辑功能模拟结果。

  • 灵活的实时调试能力

    通过CLI/GUI进行仿真调试,支持语句/仿真时刻层面的断点、单步,具备丰富的仿真行为和流程控制指令,能够灵活控制仿真进程。

  • 便捷的用户交互体验

    通过CLI/GUI进行仿真调试,支持语句/仿真时刻层面的断点、单步,具备丰富的仿真行为和流程控制指令,能够灵活控制仿真进程。

  • 全面的仿真支持能力

    支持语句/分支/条件/翻转/状态覆盖率分析,支持多点及定时仿真快照和恢复。拥有专用高性能数据库,支持对大容量仿真数据的高速存取。多方位提升用户设计验证效率。

产品优势
  • 优异的仿真性能

    运用先进的编译器优化技术、并行仿真技术提升仿真性能。

  • 具备云平台部署及协同验证能力

    工具支持云服务方式部署,可集成在统一验证云平台中,与原型验证工具和仿真加速工具协同,提供更加灵活高效的验证方案。

  • 自主可控

    核心技术自主可控,不受国际环境变化的约束,兼容多种主流国产硬件平台和操作系统。