High-level modeling of continuous-time Delta-Sigma A/D-converters using formal models.

Ewout Martens, Georges G. E. Gielen

Browse the full ASPDAC paper archive.