A Verilog-A model for the design of devices for fluorescence life-time measurement with CMOS SPADs | IEEE Conference Publication | IEEE Xplore