Logic synthesis and verification by Sasao, Tsutomu, Hassoun, Soha fromKluwer international series in engineering and computer sci… 0 Type: Book