इसका टेक्स्ट मैसेज भेजे: Logic synthesis and optimization / edited by Tsutomu Sasao.