如何验证面向AMBA总线的设计？大家分享下经验吧～

总线，我一直认为是个好东西，值得学习！各种总线协议又都下载得到。
以前看过AMBA 2.0协议，但没有实际编写过代码。一部分原因是不知道如何去验证自己的设计是否符合协议。
现在正重新读AMBA协议，希望大神们介绍一些能验证设计的方法、平台之类的。光是读读协议，其实有很多疑惑留着。
先谢谢各位了！

有VIP(verification IP)这种东西。
synopsys 提供的比较多，专门用于验证标准总线协议