VHawk
VHawk是一款针对Verilog-HDL与VHDL语言的代码缺陷检查管理平台。采用国内先进的HDL代码静态分析技术，VHawk提供 HDL代码编码风格、可综合性、可重用性、时钟复位以及状态机等潜在设计缺陷自动化检测、缺陷跟踪及管理一站式解决方案。VHawk支持Do254、GJB、GB、Xilinx、Altera等主流HDL编码规则集，能有效提高ASIC及FPGA的HDL编码质量，便于RTL签核，减少昂贵的重新设计与迭代所产生的经济代价和时间成本。
简洁明了的违规代码定位，协助缺陷修复
针对军工、航天航空等用户，提供了面向GJB10157及GJB9765规则集的自动化缺陷检测支持。解决了用户对于相关自动化检测工具的迫切需求，VHawk也是目前国内领先的支持两个国军标的静态缺陷检测工具。
支持行业主流编码规范独家支持GB/GJB编码规范以及提供需求定制服务
-
独有规则集支持
独有支持GJB10157/GJB9765国军标规则集，解决军工、航天等国内关键部门的迫切需求。
-
灵活的部署方式
提供本地单机部署以及公有云/私有云部署，支持多用户多任务并行检测能力。
-
完全自主可控
核心技术自主可控，不受国际环境变化的约束。
-
深度定制服务
接受客户单位特定功能上的定制化开发以及测试报告的定制服务。
-
全方位的技术支持
本土化核心技术团队和技术支持团队，提供高效及时的技术支持服务。
-
更多的系统适配支持
适配主流操作系统windows、linux，及独有适配国产操作系统麒麟V4、V10等环境。
核心技术自主可控，不受国际环境影响。适配国产化麒麟操作系统提供包括检测报告模板和自定义规则集在内的深度定制服务，本土技术支持团队，提供7*24小时技术支持服务。
核心检测引擎知识产权自主可控，多操作系统平台支持，确保开发人员的高效工作
-
RTL设计人员
将编码不规范引起的潜在错误或Bug提前到设计阶段发现并解决，降低设计风险，节省研发时间，提高IC设计效率。
-
项目负责人
将多年长期积累的RTL设计经验抽象为一些编码设计的规则，运行VHawk工具可快速检查团队成员提交的RTL设计是否遵守规则，减少不必要的返回与迭代。
-
评测中心
通过将编码规则发布为标准的形式，强制研发单位在进行RTL设计)时遵守，并在提交成果时使用VHawk进行检查，节省大量人工检查时间，确保项目如期推进。
VHawk（HDL代码缺陷检查管理平台）白皮书
白皮书下载