谈谈我的理解，不知对不对：
//BFM:总线功能模型
BFM应该描述的是具有某种具体功能的电路。比如说，你的待测电路是一个智能卡，那他的BFM就是读卡器；那你就要根据协议，在BFM中描述出读卡器的具体行为。
写BFM就类似于写testbench了。BFM里面有需要主动触发的动作，以及被动接受的动作。主动触发的动作，你写成task，这样方便在testcase中调用。被动触发的动作，你在BFM里面直接写成电路就可以了。当然你可以灵活处理。
以下是闲话：
我觉得你可能不知道怎末对电路写测试。
我认为测试分为两部分：1 功能分析；2 testbench编写
1 功能分析
你在编写测试之前，要仔细分析电路有哪些功能，并对这些功能分类。哪些是必须测的（must），哪些是应该测的（should），哪些是最好测的（Nice to do）。然后，你将功能相近的feature分为一类，你可以用一个testcase来测试。
2 testbench
当testcase分类完毕，你就开始琢磨怎么写testbench了。testbench要能够提供所有激励，并且能够将激励传播到待测电路中，而且能够侦测错误。
另外，测试编写完毕了，测试通过了并不是就万事大吉了。通常，有些东西是工程师没想到的问题，而导致测试不全面。这些就需要我们不断扩大知识面了。要特别提醒的是复位测试，复位和时钟的配合，跨时钟域的处理等。
啰嗦了一大堆，希望对你有点帮助。 看ＳＹＮＯＰＳＹＳ的ＡＭＢＡ的ＶＩＰ使用文档，官方网站可以下 VMT 好像是veral modelling techonogy, 如果记错的话请版主指正， 呵呵 所有的DW VIP (for VERA) 都是基于VMT的技术建立起来的， 给用户提供了一些通用的命令接口， 参数配置等方便用户使用。
RVM版本的VIP提高了抽象层次， 可以让用户直接跳出繁琐的命令， 适合做 tansaction level 的验证。
现在我们看手册，基本上只用看 RVM相关的部分，用起来简单多了。
如果有问题直接 调 vera -doc 看手册，可以找到你要的大多数答案
我再说下去就是胡说八道， 版主要封ID了 像SYNP的ＤＷ VIP以及 CADENCE的 eVC都是加密的．
但ＡＰＢ的协议很简单，ＲＶＭ的ｌａｂ里面有ＡＰＢ的例子，你可以看到完整的代码 RVM(Reference Verification Methodology) 回答楼主的几个问题，个人理解有限，不保证正确。
如果要编写配置性高、可重用性高、比较全面的AHB BFM是比较花精力的，当然可以自己研究设计，也可以买Synopsys的Designware Library
一套Designware Library大概几万$
另外，AMBA VIP的user guide是不需要帐号登录的，可以直接在Synopsys的网站下载到。但是库是需要付费的。
如果你的机器性能够好，可以安装VMWare虚拟机，在虚拟机中安装Linux系统，跑工具和设计。
VMT是Synopsys的Verification Model Technology，很多VIP也即验证部件是基于VMT来设计的，
RVM是Synopsys的一种验证方法学，描述的是如何把VIP build up起来成为一个环境，进行验证行为。
最后，SNPS就是Synopsys的缩写。
P.S 多google，或者多研究edacn，有很多内容可以帮助到你的。 参考AMBA VIP的user guide，自己写BFM