You need to sign in or sign up before continuing.
Scan barcode
![Logic Synthesis and Verification Algorithms by Fabio Somenzi, Gary D. Hachtel](https://558130.bdp32.group/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaHBBMU1ya2c9PSIsImV4cCI6bnVsbCwicHVyIjoiYmxvYl9pZCJ9fQ==--1bfc13eb56ad5d30a4dcefbdb81e7e2516aa6cea/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaDdCem9MWm05eWJXRjBTU0lJYW5CbkJqb0dSVlE2RkhKbGMybDZaVjkwYjE5c2FXMXBkRnNIYVFJc0FXa0M5QUU9IiwiZXhwIjpudWxsLCJwdXIiOiJ2YXJpYXRpb24ifX0=--038335c90cf75c275ae4d36968ac417dc4a0a3e3/Logic%20Synthesis%20and%20Verification%20Algorithms.jpg)
564 pages • missing pub info (editions)
ISBN/UID: 9780387310046
Format: Paperback
Language: English
Publisher: Springer
Publication date: 10 February 2006
Description
Logic Synthesis and Verification Algorithms blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in the context of its application to design. Through the study of optimal two-leve...
Community Reviews
Content Warnings
![Logic Synthesis and Verification Algorithms by Fabio Somenzi, Gary D. Hachtel](https://558130.bdp32.group/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaHBBMU1ya2c9PSIsImV4cCI6bnVsbCwicHVyIjoiYmxvYl9pZCJ9fQ==--1bfc13eb56ad5d30a4dcefbdb81e7e2516aa6cea/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaDdCem9MWm05eWJXRjBTU0lJYW5CbkJqb0dSVlE2RkhKbGMybDZaVjkwYjE5c2FXMXBkRnNIYVFJc0FXa0M5QUU9IiwiZXhwIjpudWxsLCJwdXIiOiJ2YXJpYXRpb24ifX0=--038335c90cf75c275ae4d36968ac417dc4a0a3e3/Logic%20Synthesis%20and%20Verification%20Algorithms.jpg)
564 pages • missing pub info (editions)
ISBN/UID: 9780387310046
Format: Paperback
Language: English
Publisher: Springer
Publication date: 10 February 2006
Description
Logic Synthesis and Verification Algorithms blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in the context of its application to design. Through the study of optimal two-leve...