High-level Modeling and Verification Platform for Elastic Circuits with Process Variation Considerations. - Meysam Zaeemi; Siamak Mohammadi (ACM J. Emerg. Technol. Comput. Syst., 2022)