Structure and Behaviour in Hardware Veri cation