TReMo: A Model for Ternary ReRAM-Based Memories with Adjustable Write-Verification Capabilities | IEEE Conference Publication | IEEE Xplore