Formalising an integrated circuit design style in higher order logic