Design for Verification of the PCI-X Bus

2006 Formal Methods in Computer Aided Design ◽

10.1109/fmcad.2006.11 ◽

2006 ◽

Author(s):

Haja Moinudeen ◽

Ali Habibi ◽

Sofiene Tahar

Download Full-text