Seol mar théacs é seo: Modelling and verification in structured integrated circuit design /