Real Number Voltage aware behavioral modeling and verification of SRAM subsystem with Unified Power Format (UPF)