Logic synthesis and verification fromKluwer international series in engineering and computer sci… 0 Type: Book
