A macro-model for the efficient simulation of an ADC-based RNG