PSL断言相关硕士博士期刊学术论文 - 搜论网

PSL断言相关论文

用基于PSL断言的方法验证宽带电路交换芯片

本文随着电路规模复杂度的急剧增加，功能规范中存在不一致性和不充分性的可能性增加；另外，采用自然语言的功能规范，语义模糊且不可执行......

学位

宽带电路交换芯片 PSL断言断言技术宽带电路

基于断言的仿真算法与实现

verilog是当前应用最为广泛的硬件设计语言之一，它可以用于硬件系统各种级别的设计、综合、仿真。PSL是一种标准的描述硬件和嵌入式......

学位

动态验证 PSL断言自动机构造性质规范语言仿真算法

看过本文同时还关注