This implementation of the PCI bus unit was created as a final project for a verification course at the University of Texas at Austin. The report for the original project provides a summary of the PCI protocol. A better summary is provided at the techfest web page . A complete description of the protocol can be found in the PCI specification document .

The verilog implementation is in the file PCInorm.v . The CTL properties can be found in the CTL-files directory.