hello,
* what to verify in Processor RTL, I'm working on SPARC V8, using UVM? what kind of assertions do we add.
what are the general Processor specs?
* If possible please provide or suggest some info or document on processor verification using UVM and SPARC spec?