General Verification Topics
1. Difference between byte and bit
2. mailbox & queue
3. $cast, $root
4. bidirectional constraints
5. solve before
6. UVM phases, phases in uvm-run_phase.
7. p_sequencer & v_sequencer
8. DPI's
Good Verification Questions
1. What is the communication channel from testcase to driver.1. Difference between byte and bit
2. mailbox & queue
3. $cast, $root
4. bidirectional constraints
5. solve before
6. UVM phases, phases in uvm-run_phase.
7. p_sequencer & v_sequencer
8. DPI's
Good Verification Questions
7. Static variable in class.
Illustrations
- data as a dynamic array.
- constraint for size of dynamic array = length; use solve before for length randomizing before data.
In general whenever you get a pkt from some one else do a copy, also when you give a pkt to someone else, also do a copy.
3. Use of Public, local and prot variables in class.
pkt_cnt within a monitor can be a local variable. A
task can be used to read this variable externally. This variable cannot
be modified.
4. inp: req; op: ack
ack has to go high within 64clocks of req going high.
ack has to go low within 64clocks of req going low.
What would be the basic checks
- The first two givens should be obvious checks
- The toggling of ack even though req is not present is an important error condition check.