Layout verification for mixed-domain integrated MEMS | IEEE Journals & Magazine | IEEE Xplore