Interface verification
What is interface verification?
Separate design to distinct components is common
components interact through interface using coordination mechanism following the protocols
- Designers might treat details on signaling differently across various components. Leads to inconsistency.
? Interface verification checks this inconsistencies.