A framework for analog circuit synthesis based on formal language representation