亚拉哈文维加拉门
哈文亚拉维加拉门
SYSTEMVERILOGASSERTIONS正版指南
Systemverilog断言AssertionsPractical
言和早年Speculations推理
Verilog言和AssertionsFunctional
9780815361992IdentitiesAssertionsConflicts