computer programs for use in the design and synthesis of electronic circuits