Data Flow Specification
With the high level description confirmed, logic equations describing the data flow are then created
Again, the model can be simulated at this level to confirm the logic equations
