The notions of logic synthesis can be traced back to the early 1970s and work conducted at IBM called Logic Synthesis System (LSS). This was a rule-based transformation system. These looked for ...

Think Global RTL coding style and how you drive today's synthesis tools affect your results. Take advantage of global RTL optimizations by synthesizing big blocks in top-down fashion instead of ...

Logic Synthesis and Verification Algorithms, Hachtel & Somenzi, Springer; ... Logic simplification using Boolean algebra and Karnaugh maps; 3) Combinational logic implementation using AND/OR/NOT, NAND ...