Design verification
What is design verification?
Consists of verifying selected key requirements of incomplete models.
Example: Arbiter
- At most one device has access to common resources (mutual exclusion). Once the interface to bus has been designed, it is possible to verify that it does not violate the mutual exclusion property, even if other components of the design are still missing.