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; ΕΠΕΑΕΚ
• Item Description: bibliography:pp.537-553
• Physical Description: xxxi,564p. fig.
• ISBN: 0 7923 9746 0