Efficient generation of parametric test conditions for AMS chips with an interval constraint solver | IEEE Conference Publication | IEEE Xplore