NVIDIA interview question

System Verilog and Formal Verification