Synthesis and optimization of digital circuits

The author presents a modern look at computer-aided design of systems with a high degree of integration (VLSI systems). In particular, he describes the methods of synthesis and optimization of systems at the architectural and logical level, i.e. generating the representation of systems with optimal speed and / or optimal surface based on models created in hardware description languages. Exactly also discusses the synthesis and optimization algorithms, giving a mathematical description with a single notation.