Verification

• Verification is important for non-trivial design projects.

• Ideally, all exhaustive check is required but seldomely possible in practice.

• Formal methods are more recent.

  • Formality is a possibility but should not be mandatory.

• Three kinds of formal methods are used at different stages of design process:

  • Interface verification
  • design verification
  • Implementation verification

Previous slide

Next slide

Back to first slide

View graphic version