标签：验证

从 harness、interface、transaction、sequence 到测试用例，记录一个面向小模块验证的纯 SystemVerilog 环境骨架。