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?
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!