定理证明

Theorem proving 是一种验证RTL功能和model是否match的手段。它使用的是纯数学方法推导。


On this page: