Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams | IEEE Journals & Magazine | IEEE Xplore