Behavioral simulation for design automation of algorithmic A/D converters