1. A method comprising: converting a plurality of first circuit elements in a circuit design into a plurality of second circuit elements to form a modified circuit design by using a computer device, wherein the first circuit elements include a first number of terminals, wherein the second circuit elements include a second number of terminals, and wherein the first number is different from the second number; and performing a verification process on the modified circuit design by using the computer device, wherein at least one first circuit element of the circuit design is unchanged by said converting.