基本信息
文件名称：VhdlCohen品牌英文+中文名称技术手册SystemVerilog Assertions 4th Edition用户手册.pdf
文件大小：945.56 KB
总页数：29 页
更新时间：2026-01-29
总字数：约7.82万字
文档摘要
Prefacei
SystemVerilogAssertions
Handbook,4thedition
andFormalVerification
BenCohen
SrinivasanVenkataramanan