A rigorous circuit-level description of IR-UWB links