Categories
6 pages
Formal
ACL2证明
SMT可满足性模理论
stp&sat求解步骤和优化
形式验证发展简史
形式验证缺点
芯片设计中形式验证概念