Precise Algorithms for Pole-Zero Analysis in Electronic Circuit Design