Anfonwch hwn fel neges destun: Towards a formalization of digital circuit design /