I am new to verification.
Now I trying to verify a protocol like TCP/IP stack(mainly TCP over IP, without UDP, ICMP etc.).
My first idea is that a golden Reference Model is needed. I generate sequences, send them to DUT through a driver, and monitoring my driver, get each transaction to RM, then I collect the response from both DUT and RM and compare them. But building such a RM would be very complex.
My question is, do I really need a RM? What if I verify my DUT without any RM?
For example, to verify DUT's feature of opening as client, my sequence can simply act as a server and do such routine:
1, send OPEN AS CLIENT command to DUT.
2, wait response from DUT, which should be a SYN. if not, assume test fail and exit.
3, send SYN ACK to DUT.
4, wait response from DUT, which should be an ACK. if not or wrong ACK, assume test fail and exit.
5, end, assume test pass.