Enviar aquest missatge de text: Towards a formalization of digital circuit design /