成都睿莱思科技有限公司

聚焦行业 产品赋能 活动连接

提供全面的形式化验证服务 助力构建高可信的系统环境

  • 形式化验证漫谈：仿真之外，验证之内

    [前沿科技] 形式化验证漫谈：仿真之外，验证之内

    2024-05-11

    “在未来五年内仿真将逐渐被淘汰，仅用于子系统和系统级验证。与此同时，形式化验证方法已经开始处理一些系统级任务。随着技术发展，更多Formal相关的商业标准化会推出。”Intel fellow M. V

< 1 >