FPGA驗證
最早在國內開展航天器FPGA產品的第三方驗證，是目前業內FPGA測試任務量最大的評測機構。獲得載人航天、探月、中科院科學先導專項的FPGA測試資質，是軍工領域FPGA產品評測的主力軍。堅持總結和積累，提升技術能力，問題遺漏率（0-22%）一致保持較低的水平。2019年在 CNAS 實驗室組織的FPG A驗證能力比對中，在全國30余家評測機構中名列第一，是唯一獲得滿分，找到全部預埋缺陷的機構。
人員隊伍
國內領先的高可信嵌入式軟件研制全過程解決方案供應商
技術特點
嚴格以任務書或需求規格說明為驗證依據，不依賴開發人員講解，不依賴設計報告。
驗證過程獨立
人員配置獨立
配置獨立的可編程邏輯驗證專業人員，不由軟件測試人員兼任；依被測件專業特點，劃分：無線電、圖像、通用類等專業方向。
驗證環境獨立
不依賴開發方提供的測試環境或數據；驗證人員獨立構建仿真驗證環境、時序驗證環境等；形成具有一定通用性和可配置性仿真框架，能快速構建仿真環境。
功能驗證“六覆蓋率”要求
時序驗證完備性要求
從前端到后端的完整覆蓋
驗證完備性
FPGA靜態缺陷定位工具
FPGA仿真驗證效率提升工具
自研工具固化經驗
驗證能力
航天領域處于國內領先，并向高可靠評測領域輻射
驗證資質
FPGA驗證資質齊全，可承接各種類FPGA驗證相關任務
|
年份 |
資質 |
|
2002年 |
獲得總裝“中國載人航天工程軟件評測資質” |
|
2006年 |
獲得國防科工局“繞月探測工程軟件獨立測試資質” |
|
2008年 |
獲得“中國空間技術研究院型號FPGA產品驗證資質” |
|
2009年 |
獲得“探月工程二期軟件評測資質”，具備探月工程二期嵌入式軟件和非嵌入式軟件評測及FPGA驗證的資質。 |
|
2010年 |
獲得總裝“中國載人航天工程二期軟件評測資質” |
|
2012年 |
獲得總裝“軍用軟件實驗室認可資質”，對應15個嵌入式測試類型、13個非嵌入式測試類型 |
|
2012年 |
獲得“探月工程三期軟件評測資質”，具備探月工程三期嵌入式軟件和非嵌入式軟件評測及FPGA驗證的資質 |
|
2013年 |
獲得總裝“中國載人航天工程三期軟件評測資質” 獲得“空間科學衛星工程軟件評測資質”具備先導專項軟件及FPGA驗證的資質 |
|
2016年 |
獲得空軍“XX型號飛機第三方評測資質” |
|
2020年 |
獲得裝審實驗類資質 |
核心能力
建立專業驗證方向人才隊伍，包括通用、圖像、無線電方向
建立FPGA驗證工具研發團隊，研發自主可控驗證工具
專業化人才梯隊
FPGA仿真加速平臺
代碼規則檢查軟件
跨時鐘域分析軟件
自主可控測試工具
基于靜態分析的HDL語言解析技術
基于智能分片的可編程邏輯仿真加速技術
自動化仿真環境生成技術
測試技術研究方向
