Scan barcode
![Logic Synthesis and Verification Algorithms by Fabio Somenzi, Gary D. Hachtel](https://558130.bdp32.group/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaHBBd3hLbFE9PSIsImV4cCI6bnVsbCwicHVyIjoiYmxvYl9pZCJ9fQ==--3fbe0641b5527f552e992c9ea9706b82d3103c45/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaDdCem9MWm05eWJXRjBTU0lJYW5CbkJqb0dSVlE2RkhKbGMybDZaVjkwYjE5c2FXMXBkRnNIYVFJc0FXa0M5QUU9IiwiZXhwIjpudWxsLCJwdXIiOiJ2YXJpYXRpb24ifX0=--038335c90cf75c275ae4d36968ac417dc4a0a3e3/Logic%20Synthesis%20and%20Verification%20Algorithms.jpg)
564 pages • missing pub info (editions)
ISBN/UID: 9780792397465
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 30 June 1996
Description
Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation ...
Community Reviews
Content Warnings
![Logic Synthesis and Verification Algorithms by Fabio Somenzi, Gary D. Hachtel](https://558130.bdp32.group/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaHBBd3hLbFE9PSIsImV4cCI6bnVsbCwicHVyIjoiYmxvYl9pZCJ9fQ==--3fbe0641b5527f552e992c9ea9706b82d3103c45/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaDdCem9MWm05eWJXRjBTU0lJYW5CbkJqb0dSVlE2RkhKbGMybDZaVjkwYjE5c2FXMXBkRnNIYVFJc0FXa0M5QUU9IiwiZXhwIjpudWxsLCJwdXIiOiJ2YXJpYXRpb24ifX0=--038335c90cf75c275ae4d36968ac417dc4a0a3e3/Logic%20Synthesis%20and%20Verification%20Algorithms.jpg)
564 pages • missing pub info (editions)
ISBN/UID: 9780792397465
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 30 June 1996
Description
Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation ...