Title: Logic synthesis and optimization
Subjects: Logic circuits, Logic design, Computer-aided design, Data processing