Verilog-A modeling of SPAD for circuit simulations