Behavioral Specification
Starting with an algorithm, a high level description of the adder is created
The model can now be simulated at this high level description to verify correct understanding of the problem