HDLInsepectHDL 代码缺陷检测工具软件是一款专为FPGA领域设计的专业化代码缺陷检测工具,通过深度静态分析、时序检查以及跨模块和跨时钟域检测,能够有效识别代码中的常见问题,如时序违规、信号冲突、冗余逻辑等,确保FPGA设计的高效、可靠和稳定。

GJB规则集
| 主流硬件语言
| 时序分析优化
| 集成化报告
| 多平台支持
|
支持FPGA行业内GJB规则集,包括GJB9765-2020、GJB10157-2021
| 支持Verilog HDL、VHDL编程语言
| 内置高级时序分析功能,深入检查潜在的时序违规,如建立和保持时间要求不满足、时钟不稳定
| 报告内容包括问题的具体位置、类型、影响以及修复建议
| 支持Linux、Windows平台、银河麒麟,满足不同测试目标执行环境 |