NVIDIA Interview Question

System Verilog and Formal Verification