इसका टेक्स्ट मैसेज भेजे : Towards a formalization of digital circuit design /