数字芯片验证解决方案
基于行业先进的 HDL 编码静态分析技术，香港精准宝典资料EDA产品可支持检测FPGA 项目设计编码初期设计中的存在的编码缺陷，有效提高 RTL 的设计质量和设计效率。
- VHawk Lint：Verilog/VHDL代码规则检查工具，国内唯一支持GJB9765/GJB10157、DO254、Altera、Xilinx等编码规则集。
- VHawk CDC：RTL/网表跨时钟域分析，自动识别跨时钟域路径和典型同步器。
- VShark Simulator：RTL功能仿真，具备灵活丰富的调试性。
- InfinitPro Prototyping：国际领先的基于交换的百亿门级原型验证系统，主频可达50MHz，高可扩展性。
- FPGA emulator：基于FPGA的仿真加速，与原型验证系统共享底层硬件，加速可达2MHz，兼具调试性和速度。
- 云服务模式：支持公有云/私有云/混合云部署，打通数字前端验证工具流程。
- 高性能数据库：统一的数据格式，工具之间可共享数据，仿真验证流程无缝切换。