
BUSpec: A framework for generation of verification aids for standard bus protocol specifications
Keywords: اعتبار پروتکل; Assertion-based verification; Bus functional models; Verification intellectual property; Protocol validation