Properties of a Design

Property:

A (redundant) assertion of the behavior of a design

Verification of Property:

Inherent in model of computation

Verify syntactically

Verify semantically

E.g. Determinacy

or

or

Dataflow network

FSM network

Petri net

complex

Previous slide

Next slide

Back to first slide

View graphic version