Geahča maid: Synthesis and optimization of digital circuits