Interested in Formal verification and processor designs
if the data has not been changed, no new rows will appear.