Logic Synthesis and Verification door Soha Hassoun & Tsutomu Sasao