Methods and apparatus for modeling and verifying a set of PCI bus transactions

1. A method for modeling and verifying a set of transactions between a set of master devices and a set of slave devices, said set of master devices are coupled to said set of slave devices via a bus, comprising:

determining a set of dependencies for said set of transactions;

executing said set of transactions on said bus;

observing said set of transactions for said dependencies such that actual execution of said transactions may be compared with said determined set of dependencies for said set of transactions;

if said set of transactions does not comprise said dependencies, logging a status for said set of transactions.

2. The method of claim 1 , wherein said set of dependencies comprise a data dependency.

3. The method of claim 2 , wherein said set of dependencies comprise an order transaction dependency.

4. The method of claim 3 , wherein said set of dependencies are stored in a software structure.

5. The method of claim 4 , wherein said set of transactions comprises a set of linked transactions, said software structure comprises a first pointer, said first pointer can redeem said set of linked transactions.

6. The method of claim 5 , wherein said set of transactions comprises a set of ordered transactions, said software structure comprises a second pointer, said second pointer can redeem said set of ordered transactions.

7. The method of claim 6 , wherein said set of master devices and a said set of slave devices are modeled in a software language.

8. The method of claim 7 , wherein said software language is Verilog.

9. The method of claim 7 , wherein said software language is VHDL.

10. The method of claim 6 , wherein said bus is a PCI bus.

11. The method of claim 6 , wherein said bus is a PCI-X bus.

12. The method of claim 6 , wherein said bus is a bus other than a PCI bus.

13. A apparatus for modeling and verifying a set of transactions between a set of master devices and a set of slave devices, said set of master devices are coupled to said set of slave devices via a bus, comprising:

a means for determining a set of dependencies for said set of transactions;

a means for executing said set of transactions on said bus;

a means for observing said set of transactions for said dependencies such that actual execution of said transactions may be compared with said determined set of dependencies for said set of transactions;

a means for logging a status for said set of transactions, if said set of transactions does not comprise said dependencies.

14. The apparatus of claim 13 , wherein said set of dependencies comprise a data dependency.

15. The apparatus of claim 14 , wherein said set of dependencies comprise an order transaction dependency.

16. The apparatus of claim 15 , wherein said set of dependencies are stored in a software structure.

17. The apparatus of claim 16 , wherein said set of transactions comprises a set of linked transactions, said software structure comprises a first pointer, said first pointer can redeem said set of linked transactions.

18. The apparatus of claim 17 , wherein said set of transactions comprises a set of ordered transactions, said software structure comprises a second pointer, said second pointer can redeem said set of ordered transactions.

19. The apparatus of claim 18 , wherein said set of master devices and a said set of slave devices are modeled in a software language.

20. The apparatus of claim 19 , wherein said software language is Verilog.

21. The apparatus of claim 19 , wherein said software language is VHDL.

22. The apparatus of claim 18 , wherein said bus is a PCI bus.

23. The apparatus of claim 18 , wherein said bus is a PCI-X bus.

24. The apparatus of claim 18 , wherein said bus is a bus other than a PCI bus.