About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
Phoenix IPCCC 1995
Conference paper
Establishing PCI compliance using formal verification: A case study
Abstract
A case study on the practical application of formal verification technique of symbolic model checking to the verification of PCI bus bridges is presented. The paper covers the practical aspects of formal verification and shows its efficiency in the verification of real designs. The process of modelling the environment is discussed and typical rules of a PCI bus bridge and the reusability of those rules from design to design is examined. Results of the process, including the number of bugs discovered and the effort required to discover bugs/prove a property are investigated.