Logic Synthesis and Verification by Soha Hassoun & Tsutomu Sasao