Synthesis and optimization of digital circuits | lit.salon