Имейте в виду, что тип reg
предназначен для переменных с 4 состояниями (01xz).
Любой из них подходит для синтезируемых RTL:
if (var1[3:0] == var2[3:0])
if (var1[3:0] == var2)
В тестовом стенде лучше использовать «тройное равенство»:
if (var1[3:0] === var2[3:0])