LOMICRO 提供如下验证工具,协助验证工程师解决复杂SOC中的验证难题:

 

数字验证类:
Simxact 能够自动查找门级仿真的伪X态并处理,从而找到真正X态的BUG。同时提供X态的快速调试工具快速追踪X态,快速定位问题
Simcluster 后仿带SDF并行仿真加速工具,切割设计和SDF为多个模块,分别运行不同的仿真器,进行仿真加速
RegOPT 自动进行reset和Retention寄存器的选择工具
Propsyn 断言(systemverilog Assertion)自动产生工具
验证IP 包含常见高速接口VIP,PCIE/USB/Memory/AMBA/AHB/UFS/HDMI/CAN/Ethernet
AveMC 形式验证工具,RTL阶段的静态功能验证
AveLEC 等效性检查工具,RTL与门级,门级与门级设计进行静态的功能比较,保证设计的功能一致性
Onpoint 自动debug工具,根据设计的正确值,自动寻找设计中错误的传播路径,快速定位设计错误的源头
Cogita 基于仿真log文件进行设计调试和除错,不需要仿真结果
vLinter 设计代码规则检查工具
Vincent platform CDC检查和生成工具

 

部分产品资料未列出,如需了解详细产品信息,请联系我们:This email address is being protected from spambots. You need JavaScript enabled to view it. 或者 +86 186 0211 1428