Behavioral modeling simulation and high-level synthesis of pipeline A/D converters