97精品人妻系列无码人妻,777婷婷天堂综合区色吧,99热久re这里只有精品小草,ysl蜜桃色www,40岁成熟女人牲交片

數(shù)字芯片驗證解決方案

數(shù)字芯片驗證解決方案

基于行業(yè)先進(jìn)的 HDL 編碼靜態(tài)分析技術(shù),泛聯(lián)新安EDA產(chǎn)品可支持檢測FPGA 項目設(shè)計編碼初期設(shè)計中的存在的編碼缺陷,有效提高 RTL 的設(shè)計質(zhì)量和設(shè)計效率。
/imgs/solutions/digital-chip-verification/digital-chip-verification-solution.png
VHawk Lint:Verilog/VHDL代碼規(guī)則檢查工具,國內(nèi)唯一支持GJB9765/GJB10157、DO254、Altera、Xilinx等編碼規(guī)則集。
VHawk CDC:RTL/網(wǎng)表跨時鐘域分析,自動識別跨時鐘域路徑和典型同步器。
VShark Simulator:RTL功能仿真,具備靈活豐富的調(diào)試性。
InfinitPro Prototyping:國際領(lǐng)先的基于交換的百億門級原型驗證系統(tǒng),主頻可達(dá)50MHz,高可擴(kuò)展性。
FPGA emulator:基于FPGA的仿真加速,與原型驗證系統(tǒng)共享底層硬件,加速可達(dá)2MHz,兼具調(diào)試性和速度。
云服務(wù)模式:支持公有云/私有云/混合云部署,打通數(shù)字前端驗證工具流程。
高性能數(shù)據(jù)庫:統(tǒng)一的數(shù)據(jù)格式,工具之間可共享數(shù)據(jù),仿真驗證流程無縫切換。
全球基礎(chǔ)軟件新力量
關(guān)于泛聯(lián)新安
泛聯(lián)新安,成立于2017年,是國內(nèi)領(lǐng)先的開發(fā)支撐類、驗證EDA類基礎(chǔ)軟件提供商。公司秉承“創(chuàng)造更好代碼”的企業(yè)使命,深耕智能程序分析、編譯器技術(shù)、軟件逆向分析、軟件漏洞挖掘、高性能仿真等底層核心技術(shù),致力于為業(yè)界提供先進(jìn)的國產(chǎn)自主基礎(chǔ)軟件產(chǎn)品、服務(wù)和解決方案。
總部:
長沙(Changsha)
湖南省長沙市開福區(qū)月湖街道馬欄山信息港5-6層
全國分支機(jī)構(gòu):
北京 | 西安 | 南京 | 武漢 | 成都
官方熱線
0731-85868499
官方郵箱
sale@valiantsec.com
掃一掃了解更多
湘CP備19013285號-2 湘ICP備19013285號-3