Logic synthesis and verification algorithms

• Main Authors: Hatchtel, Gary D. (Author), Somenzi, Fabio (Author)
• Format: Book
• Language: English
• Published: Boston Kluwer Academic Publishers c1996
• Subjects: ALGORITHMS; LOGIC SYNTHESIS; ΕΠΕΑΕΚ