An executable and formal way of specifying the ops on data types
Connections/flow of operands through ops
Way to represent the state in the PE
Must be readable and concise, that allows separation of concerns
It will be a layered spec and will be made more and more complete through passes. For example, the initial spec that is the input of the PE generator is not complete for the mapper. PE generator outputs a more complete spec for the mapper that will also have information on the timing of operations.
The PE specification will be an input to
It has to have
It will be a layered spec and will be made more and more complete through passes. For example, the initial spec that is the input of the PE generator is not complete for the mapper. PE generator outputs a more complete spec for the mapper that will also have information on the timing of operations.
Straw man specs