性质规范语言相关硕士博士期刊学术论文 - 搜论网

性质规范语言相关论文

面向IP的PSL规范重用方法研究

近十年来，IP设计重用来已成为片上系统(SOC)开发领域所关注的重点，性质或断言将被广泛采用在验证过程之中。PSL(Property Specificat......

学位

性质规范语言 IP设计语义重用 PSL规范组合硬件设计嵌入式系统

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

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

学位

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

看过本文同时还关注