第 6 章 · 共 7 章

bind：不改动 DUT 也能检查它

bind 到底是怎么工作的——把一个检查器模块的实例，放进目标模块自己的作用域内部，而写这条语句的文件从头到尾都碰不到 DUT 的源码——围绕着把第 5 章那三个真实的 property 从外部接进 axil_regfile 搭建起来。