Well-Posed Verilog-A Compact Model for Phase Change Memory | IEEE Conference Publication | IEEE Xplore