A language for the simulation of systolic architectures