Seol mar théacs é seo: Towards a formalization of digital circuit design /