中文 英语
低功率高性能
白皮书

正式验证经验

硅虫狩猎的螺旋细化方法。

受欢迎程度

有几家公司已经使用正式验证来执行硅缺陷查找。这是形式验证最高级的用法之一。这是一个复杂的过程,包括合并多个信息源和同时管理多个成功因素。本文将介绍一种捕获成功因素并指导各种正式技术部署的“螺旋细化”bug查找方法。其目标是识别重要的挑战,并逐步改进每个因素,以“零介入”关键bug。

要阅读更多内容,请点击这里



发表评论


(注意:此名称将被公开显示)