Interface (VCI) Standard. This paper reports recent experiences in formally verifying a few properties of a VCI-compliant PCI 2.1 bus wrapper model in the formal verification tool, FormalCheck. Though we chose to only verify three liveness properties and three safety properties, the verification highlighted issues buried deeply within the model, quickly. We found eight issues in our model in four person-weeks of verification effort