福尔马普

等价性检验

Falm Pro是100个ASIC和ICS的门级回归测试的Mentor图形解决方案,000门或更多。formlpro使用静态形式验证技术来证明一个设计在功能上与它的黄金参考完全相同。

这项技术比传统的门级模拟快了几个数量级。用门级模拟需要几天甚至几周时间的设计可以在数小时甚至数分钟内用FORMALPRO进行验证。对于大于100的设计,000门,福尔马波罗是ASIC设计流程中必不可少的验证工具。

在哪里使用甲醛

  • formlpro是一个回归测试工具
  • 验证设计的门级实现的所有阶段
  • 从合成到磁带输出

特征

  • 大大缩短了ASIC/FPGA验证时间
  • 比较两种设计
    -合成和生态系统的RTL到门
    -旋转布局的门到门
    -用于语言转换的RTL到RTL
  • 最大容量工具
    -验证数百万门
    - ASIC的一个
  • 正确设计的最快路线
    -错误的准确位置
    -验证会话中的测试修复程序
  • 高级FPGA支持
    希林克斯阿特拉爱特公司
    -fvi和vif自动设置文件
    -巨大的生产力提升
  • 用于设计输入和初始调试的GUI
  • 回归测试的命令行模式
  • 约束语言和TCL脚本
  • 增量验证
    -仅重新编译已更改的设计
    -在中间点重新启动

低功耗解决方案

低功耗设计为您提供了在设计流程的每个阶段解决电源问题所需的额外提升—从ESL到功能验证,一直到物理实现。低功耗解决方案

闲聊γ 接触