📚 正版现货直发System Verilog Assertions 应用指南 （美）维加亚拉哈文（Vijayaraghavan,S.）,（美）拉门那斯著,陈俊杰 等译