Hi :
Recently, I saw a presentation regarding how to verify REG ( processor reg )in instruction level(asm). I don’t have much experience on instruction level verification nor processor verification, so just curious, in general, can we use some reg verification methodology in logic level to replace Reg verification in instruction level ? Can anyone point me some good paper regarding processor verification ?
thanks