SVA——断言属性之序列(sequence与property的用法) http://t.csdn.cn/YLRA6 SVA——与设计的连接(bind关键字用法) http://t.csdn.cn/WsfE4