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 ...

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 ...

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 ...