3 ms·
Wouldn't many bugs only surface in multi-instruction and status register interactions? But those are also probably way harder to verify.
by the_duke 6y ago
Wouldn't many bugs only surface in multi-instruction and status register interactions?
But those are also probably way harder to verify.
- sanxiyn 6y agoConsistency checks do check multiple instructions. Status registers are work in progress.
- GregarianChild 6y agoThat's interesting! What kind of consistency checks (other than register state being preserved by commands that do not write to the register in question)? Is there some standard best practise?