验证寄存器不可写0，只可写1或只读功能时，如何写testbench

设计中有两个寄存器，一个寄存器只可读，一个寄存器只可写0，不可写1。在不改变寄存器默认值得前提下，如何进行验证?目前在testbench中使用force让寄存器强制赋1，release后，寄存器恢复为0，可是不能判断它是因为写0恢复成0的还是释放后恢复成本来的值?如果不release则一直是force值。

写1/random 再读，看读出的数值。