Title: BSPL: a language for describing the behaviour of synchrarous hardware