Tempura语言相关硕士博士期刊学术论文 - 信丰网

Tempura语言相关论文

时序电路的形式化证明

对硬件的形式化验证是硬件验证的一个发展方向,形式化验证一个时序电路就是证明电路的实现是否满足他的规格描述.本文提出了用等式......

期刊

形式化验证时序电路的验证 Tempura语言逻辑公式时序电路证明方法形式化验证硬件验证表示电路初始状态公式等式规格 formal veri

看过本文同时还关注