Algorithmic Logic Synthesis

Catalog description

Algorithmic extension of logic synthesis and techniques. Topics covered include: two and multilevel minimization, technology mapping, logic partitioning, timing optimization, ATPG techniques in logic synthesis, incremental network restructuring, functional decomposition, BDD representation of logic functions, and SAT techniques.