Definitions

Abstract behavior

The operation of a digital hardware module in terms of reads and writes of variables to and from the outside world, the conditions on the reads and writes, the values of the output variables, and their partial orderings

Control-flow behavior

The operation of a digital hardware module in terms of the loops, conditional branches, and ordering of functions performed by the module

Data paths

The hardware which stores and performs operations on data

Previous slide

Next slide

Back to first slide

View graphic version

Most definitions are from [Parker84].