Verilog-A modeling of SPAD statistical phenomena | IEEE Conference Publication | IEEE Xplore