System-Level Simulation of a SPAD-Based Time-of-Flight Sensor in SystemVerilog