电路特性生成相关硕士博士期刊学术论文 - 信丰网

电路特性生成相关论文

面向模型检验的跨时钟域设计电路特性生成方法

对跨时钟域设计进行功能验证是SoC验证中的难点问题.传统的面向跨时钟域设计的模型检验方法并没有充分考虑电路特性描述的完整性问......

期刊

形式化验证模型检验跨时钟域设计电路特性生成 formal verification model checking clock domain crossin

看过本文同时还关注