Patent ID: 7643979

Claim:
A method comprising performing a machine-executed operation involving instructions, wherein the machine-executed operation is at least one of: A) sending the instructions over transmission media; B) receiving the instructions over transmission media; C) storing the instructions onto a machine-readable storage medium; and D) executing the instructions; wherein the instructions are instructions which, when executed by one or more processors, cause the one or more processors to perform the steps of: executing a verification program; wherein the verification program includes a definition of an analog source; wherein execution of the verification program generates a stimulus that represents a signal of the analog source; applying the stimulus to a simulation of at least a portion of an electronic circuit to generate at least one simulation result; providing the at least one simulation result to the verification program; and the verification program performing at least one of: checking whether the simulation result complies with an expected simulation result; checking whether an electrical property, based on the simulation result, has a value that violates a constraint on the electrical property specified in the verification program; and determining whether the simulation resulted in occurrence of a specified simulation condition specified in the verification program.