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

Ewout Martens, Georges G. E. Gielen. High-level modeling of continuous-time Delta-Sigma A/D-converters using formal models. In Masaharu Imai, editor, Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, Yokohama, Japan, January 27-30, 2004. pages 51-56, IEEE, 2004. [doi]

Authors

Ewout Martens

This author has not been identified. Look up 'Ewout Martens' in Google

Georges G. E. Gielen

This author has not been identified. Look up 'Georges G. E. Gielen' in Google