Introduction; Boolean matching; Logic decomposition; Boolean satisfiability; Advanced synthesis techniques; Non-traditional applications of logic synthesis; Conclusion.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.