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