Scan barcode
![Logic Synthesis and Verification Algorithms by Fabio Somenzi, Gary D. Hachtel](https://558130.bdp32.group/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaHBBenlmeEE9PSIsImV4cCI6bnVsbCwicHVyIjoiYmxvYl9pZCJ9fQ==--04b320b8e6701a1e2657664b402545ccbca07bff/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaDdCem9MWm05eWJXRjBTU0lJYW5CbkJqb0dSVlE2RkhKbGMybDZaVjkwYjE5c2FXMXBkRnNIYVFJc0FXa0M5QUU9IiwiZXhwIjpudWxsLCJwdXIiOiJ2YXJpYXRpb24ifX0=--038335c90cf75c275ae4d36968ac417dc4a0a3e3/Logic%20Synthesis%20and%20Verification%20Algorithms.jpg)
564 pages • missing pub info (editions)
ISBN/UID: 9781475770360
Format: Paperback
Language: English
Publisher: Springer
Publication date: 18 March 2013
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/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaHBBenlmeEE9PSIsImV4cCI6bnVsbCwicHVyIjoiYmxvYl9pZCJ9fQ==--04b320b8e6701a1e2657664b402545ccbca07bff/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaDdCem9MWm05eWJXRjBTU0lJYW5CbkJqb0dSVlE2RkhKbGMybDZaVjkwYjE5c2FXMXBkRnNIYVFJc0FXa0M5QUU9IiwiZXhwIjpudWxsLCJwdXIiOiJ2YXJpYXRpb24ifX0=--038335c90cf75c275ae4d36968ac417dc4a0a3e3/Logic%20Synthesis%20and%20Verification%20Algorithms.jpg)
564 pages • missing pub info (editions)
ISBN/UID: 9781475770360
Format: Paperback
Language: English
Publisher: Springer
Publication date: 18 March 2013
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 ...