Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors
Keyword(s):
Keyword(s):