代碼缺陷檢測管理平臺

VHawk一款針對Verilog-HDLVHDL語言,具有自主知識產權的代碼缺陷檢查管理平臺。獨立自主研發,用于對FPGA/IC設計HDL源代碼進行代碼質量靜態規則檢查的基礎工具軟件。采用了國內領先的HDL代碼靜態分析技術,提供了針對HDL代碼編碼風格、可綜合性、可重用性、時鐘復位以及狀態機等潛在設計缺陷的自動化檢測、缺陷跟蹤及管理一站式解決方案。VHawk支持包括Do254GJBGBXilinxAltera等多種業內主流的HDL編碼規則集,能有效提高ASICFPGAHDL編碼質量,便于RTL簽核,減少昂貴的重新設計與迭代所產生的經濟代價和時間成本

VHawk是首款支持國軍標的國產化硬件代碼編碼規范檢查工具,該工具能在芯片和FPGA設計階段發現潛在的錯誤,降低設計風險,幫助客戶提前交付芯片和FPGA設計產品。VHawk 可廣泛支持航空航天、汽車、船舶、核電、醫療器械等特定領域的編碼規范自動化檢查,同時也能支持大中小企業市場的多樣定制化需求。