BlueSpec - Computation Structures Group - MIT

Simple example with
concurrency and shared resources
cond0 cond1 cond2
0 +1 -1 1 +1 -1 2
x y
Process 0: increments register x when cond0
Process 1: transfers a unit from register x to
register y when cond1
Process 2: decrements register y when cond2
Each register can only be updated by one process
on each clock. Priority: 2 > 1 > 0
Just like real applications, e.g.:
Packet arrives, is processed, departs
Process priority: 2 > 1 > 0
35