Synthesis and optimization of digital circuits See original record