1. A method of producing a verified design of a digital to analog converter (DAC), wherein the DAC converts a digital input signal to an analog output signal, the method comprising: providing a hardware description language (HDL) representation of the DAC; using a simulator for simulating numerical values of the analog output signal as a function of said representation of said DAC for a range of numerical values of the digital input signal and generating simulated numerical values of the analog output signal; using a model for converting the simulated numerical values of the analog output signal to numerical values of an equivalent model output signal in a same digital format as the digital input signal, wherein said converting is performed by a computer system; and comparing the numerical values of the digital input signal and the model output signal and detecting numerical value differences greater than a defined tolerance, wherein said comparing and detecting are performed by the computer system.