Interface Verification
How is it possible to verify that different components have a consistent view of their interface?
- Allow them to have different views as long as these are not in conflict.
EX: packet in communication protocol.
- An uninterrupted collection of bits to be transmitted vs. structured packet with different fields indicating addresses, control and checksum.
In codesign computational model, interface of component consists of “set of state variable” and a “protocol”.