Property Checking of PI-Bus Modules

  • Philip de Nier
  • Published 1999


Property checking is the process of formally verifying that an abstract model of a hardware design exhibits a specified behavior. Automation of the verification process is crucial for acceptance by the design community, and for the application on an industrial scale. The advent of model checking in the early 1980s, has shifted formal verification closer to… (More)


5 Figures and Tables