Test generation is the process of determining one or more tests for a fault. It requires the selection of a set of test vectors that will verify correct operation of the circuit.
For combinational circuits, there are two common approaches:
await dv.view("Scripts/topic-backlinks");