[SOLVED] How to verify about AMBA Bus Matrix?

[u24c02]

Hi.

As I know, We can make the bus matrix by using like NIC501 or something like tools.
My question is that how can we verify the bus matrix? and
what kinds of methodologies are existed to verify the bus what I made?

Practically, I want to know that how to do this in Practically. Does any help this?

 

[dpaul]

One proven and tested way to do this is to use a BFM (Bus Functional Model). The BFMs generally cannot be synthesized and they are connected in a test-bench.
e.g.- AXI BFM, AHB BFM, etc.
I will not explain how BFMs work as a google search on the above will yield all infos you are looking for!

 

[u24c02]

Thanks,
But, is there any "practically BFM usage example" to recommend me? Book, web site etc..,?

 

[dpaul]

If you have the proper licenses I would recommend using Synopsys, Xilinx, etc. BFM IPs.
Else you need to search out for free BFMs.

Eg. of some free sources of AXI4 BFMs-
1> http://syswip.com/axi4-lite-verification-ip (website seems down, but was working a year ago)
2> http://code.google.com/p/axi-bfm/source/checkout
3> Loosely documented. Suitable for someone testing an AXI slave. http://github.com/funningboy/uvm_axi

Also don't forget to check out if you simulator supports SV constructs as most BFM developers prefer to code them with SV.