数字芯片验证解决方案

数字芯片验证解决方案

基于行业先进的 HDL 编码静态分析技术,泛联新安EDA产品可支持检测FPGA 项目设计编码初期设计中的存在的编码缺陷,有效提高 RTL 的设计质量和设计效率。
/imgs/solutions/digital-chip-verification/digital-chip-verification-solution.png
VHawk Lint:Verilog/VHDL代码规则检查工具,国内唯一支持GJB9765/GJB10157、DO254、Altera、Xilinx等编码规则集。
VHawk CDC:RTL/网表跨时钟域分析,自动识别跨时钟域路径和典型同步器。
VShark Simulator:RTL功能仿真,具备灵活丰富的调试性。
InfinitPro Prototyping:国际领先的基于交换的百亿门级原型验证系统,主频可达50MHz,高可扩展性。
FPGA emulator:基于FPGA的仿真加速,与原型验证系统共享底层硬件,加速可达2MHz,兼具调试性和速度。
云服务模式:支持公有云/私有云/混合云部署,打通数字前端验证工具流程。
高性能数据库:统一的数据格式,工具之间可共享数据,仿真验证流程无缝切换。
全球基础软件新力量
关于泛联新安
泛联新安,成立于2017年,是国内领先的开发支撑类、验证EDA类基础软件提供商。公司秉承“创造更好代码”的企业使命,深耕智能程序分析、编译器技术、软件逆向分析、软件漏洞挖掘、高性能仿真等底层核心技术,致力于为业界提供先进的国产自主基础软件产品、服务和解决方案。
总部:
长沙(Changsha)
湖南省长沙市开福区月湖街道马栏山信息港5-6层
全国分支机构:
北京 | 西安 | 南京 | 武汉 | 成都
官方热线
0731-85868499
官方邮箱
sale@valiantsec.com
扫一扫了解更多
湘CP备19013285号-2 湘ICP备19013285号-3