书目详细信息 : SystemVerilog数字集成电路功能验证