• 首页
  • 逻辑求解器
    • SeedSAT求解器
    • SeedSMT求解器
  • 优化求解器
    • SeedMIP混合整数规划求解器
  • AI产品
    • SeedModeler自动数学建模平台
    • SeedTuner自动调参平台
  • 关于我们
  • 公司动态
首页  ꄲ  某通信巨头电路等价性验证项目
芯片
넳 넲

某通信巨头电路等价性验证项目

与某通信巨头企业合作面向等价性验证的 SAT 求解器研发项目， 所研发的 SAT 求解器在实际电路等价性验证问题上，比国际前沿的开源求解器在求解速度上提高了35%，并大幅提高求解规模。
ꄴ上一个： 无
ꄲ下一个： 阿卡斯

-