更多封測信息，推薦關注：

1

半導體封測，半導體官方群！

一直被抄襲，從未被超越！

6月20日，泛聯新安宣布開放自主可控全系EDA工具鏈免費試用，涵蓋多FPGA原型驗證系統等5款工具，旨在攻克關鍵領域“卡脖子”難題，保障芯片供應鏈安全。如需試用，可聯系湯女士（0731-85860107，tangchaoqun@valiantsec.com）。

5月28日，據英國《金融時報》最新報道，美國商務部工業與安全局（BIS）要求全球EDA三大巨頭——Synopsys、Cadence與西門子EDA暫停向中國出口與半導體設計技術相關的軟件，部分技術網站對中國用戶的訪問權限已然關閉，進一步升級著對華半導體技術的封鎖。這一赤裸裸的“技術斷供”，意圖直指中國先進制程芯片的研發命脈，再次凸顯了EDA工具鏈的自主可控，絕非選擇題，而是關乎產業生存與發展的必答題。

泛聯新安：專注驗證EDA的自主突破

斷供背景下，泛聯新安憑借自主可控的EDA驗證工具鏈，成為破局斷供危機的核心力量。公司自2018年起深耕國產自主IC前端驗證/FPGA測試工具鏈，從靜態檢查(VHawk-Lint)、跨時鐘域分析(VHawk-CDC)，到軟件仿真驗證、硬件仿真加速，構建完整自主可控的數字前端驗證體系，并支撐起多家合作伙伴的芯片設計任務，已為航天、航空等關鍵領域多家頭部客戶提供強有力的服務支撐。

危局時刻，為助力中國芯片企業快速完成國產化替代，泛聯新安推出“國產EDA驗證工具免費試用計劃”，面向全國芯片設計公司開放！

工具免費試用計劃

試用范圍：

泛聯新安EDA全系工具鏈，含多FPGA原型驗證系統「InfinitPro」、Verilog功能仿真工具「VShark」、HDL代碼缺陷檢查管理平臺「VHawk-Lint」、跨時鐘域設計驗證工具「VHawk-CDC」、FPGA實物測試平臺「AccBox」。

試用專屬：

提供1對1技術專家指導支持。

試用對接：

湯女士 0731-85860107

tangchaoqun@valiantsec.com

DO IT NOW!

立即參加，搶占國產替代風口！

EDA產品

01

InfinitPro

多FPGA原型驗證系統

InfinitPro，基于交換中心架構的超大規模多FPGA原型驗證系統。仿真容量、仿真性能、調試能力等關鍵指標均達到國際領先水平，芯片原型驗證的效率將提升至少20%。系統支持SoC/ASIC各類芯片原型驗證的并行綜合、時序驅動的自動劃分映射、全局布局布線優化、海量信號深度調試，大大提升芯片開發團隊的驗證效率，為系統級驗證和硅前軟件開發提供大容量、高性能的仿真驗證平臺，實現海量探針信號在線調試。

VShark

Verilog功能仿真工具

EDA產品

02

VShark，一款針對Verilog RTL設計進行功能仿真的國產自主EDA工具，采用事件驅動仿真模型對RTL設計進行模擬，具備與原型驗證平臺和FPGA硬件仿真平臺聯合仿真及調試能力，為設計和驗證者帶來靈活高效的仿真體驗。

VShark兼容IEEE1364-2005及IEEE1800-2017標準，支持命令行及圖形界面的實時調試，覆蓋率分析，仿真快照及恢復，具有優異的仿真性能。VShark可聯合測試激勵生成工具進行基于覆蓋率收斂的單元測試，原生兼容泛聯新安自研統一驗證云平臺。

EDA產品

03

VHawk-Lint

HDL代碼缺陷檢查管理平臺

VHawk-Lint，國內首款自主可控，匹配軍工特點要求，覆蓋雙GJB編碼規范，針對主流硬件設計語言Verilog HDL、System Verilog、VHDL的HDL代碼缺陷檢查管理平臺。平臺能夠對HDL代碼的編碼風格、可綜合性、可重用性、時鐘復位、跨時鐘域以及狀態機等潛在設計缺陷進行一站式管理，包括自動化檢測、缺陷跟蹤等。

VHawk支持GJB9765-2020、GJB10157-2021、Do254、Xilinx、Altera、RMM、Starc等主流HDL編碼規則集，能夠高效的對FPGA的設計編碼質量進行檢查和評估，協助用戶提高代碼編碼質量，可有效降低后續驗證及返工帶來的經濟和時間成本。

VHawk-CDC

跨時鐘域設計驗證工具

EDA產品

04

VHawk-CDC，國內首款自主可控的，面向主流硬件設計語言Verilog HDL、SystemVerilog、VHDL的跨時鐘域(CDC)缺陷靜態驗證工具。工具能夠對FPGA/ASIC設計代碼中的時鐘設計缺陷、復位設計缺陷以及跨時鐘同步缺陷進行全面而深度的分析和驗證并為用戶提供準確缺陷定位和修復建議，保障用戶設計質量，有效降低后續驗證及返工帶來的經濟和時間成本。

EDA產品

05

AccBox

FPGA實物測試平臺

FPGA實物測試平臺AccBox是面向FPGA測試場景仿真驗證工具，可以在不修改被測FPGA設計的情況下，開展FPGA軟件的實物級測試，作為仿真測試的補充。用戶可通過編寫關鍵字驅動的測試用例腳本自動生成激勵數據，作用于被測FPGA，同時捕捉被測FPGA接口數據，用于數據和協議分析。

EDA斷供不僅是挑戰，更是中國芯片產業實現自主可控的“歷史機遇”，泛聯新安將繼續深耕技術研發，致力于通過完全自主可控的驗證EDA解決方案，為助推國產芯片未來持續創新與發展注入關鍵力量。

關于泛聯新安

泛聯新安，成立于2017年，是國內領先的開發支撐類、驗證EDA類基礎軟件提供商。公司秉承“創造更好代碼”的企業使命，深耕智能程序分析、編譯器技術、軟件逆向分析、軟件漏洞挖掘、高性能仿真等底層核心技術，致力于為業界提供先進的國產自主基礎軟件產品，為國家基礎軟件發展貢獻力量。

公司成立至今，先后獲得天惠基金、興湘資本、農銀國際、中國互聯網投資基金、匯川產投、西部證券、鈞犀資本、壹同創投等國家及產業資本戰略投資。公司技術實力雄厚，與國防科技大學、清華大學等知名院校進行產學研深度生態合作。

經多年積累，公司已構建以軟件質量測試、軟件安全測試、數字IC驗證、研發效能工具等四大方向為核心的完整產品矩陣，全系產品均獲得自主可控證書及多項國際、國內認證，致力于解決相關領域的“卡脖子”問題。

公司擁有完善的營銷和服務網絡，截至目前已與航空、航天、兵器、船舶、軌道交通、金融、能源、工業、信息技術等領域的數百家頂級企業用戶合作，提供基礎軟件產品、服務及解決方案。

- End -

破局斷供：泛聯新安推出國產EDA驗證工具免費試用計劃

6月20日，泛聯新安宣布開放自主可控全系EDA工具鏈免費試用，涵蓋多FPGA原型驗證系統等5款工具，旨在攻克關鍵領域“卡脖子”難題，保障芯片供應鏈安全。如需試用，可聯系湯女士（0731-85860107，tangchaoqun@valiantsec.com）。