Downlink Achievable Rate Analysis in Massive MIMO Systems With One-Bit DACs | Synapse