Scott Weber, UC Berkeley

We use a model of computation to formalize the processing elements in the platforms that we construct. The model of computation is Boolean controlled dataflow. This model allows us to mix control and data paths so that we are able to abstract the architecture as a set of instructions associated with their respective resource usages and timings. The abstraction makes it possible to target a compiler and simulator for the architecture.