集成电路静态时序分析与建模
刘峰
Logos系列产品DRM用户指南
Inc.Pango
Pango手册 (1)
SystemVerilog验证:测[..]
克里斯·斯皮尔 & 张春 等
HSSTHP-IP-用户指南
The UVM Primer
Ray Salemi