Real Number Voltage aware behavioral modeling and verification of SRAM subsystem with UPF