Hierarchical extraction and verification of symmetry constraints for analog layout automation | IEEE Conference Publication | IEEE Xplore