Describir: Synthesizing Circuits: A Variety of Approaches.