Error-tolerant processors: Formal specification and verification

Keyphrases

• Formal Verification 100%
• Formal Specification 100%
• Error-tolerant 100%
• Microarchitecture 33%
• Temporal Logic 33%
• Full System 33%
• Error-free 33%
• Device Parameters 33%
• Post-CMOS Devices 33%
• Related Failure 33%
• Fault Model 33%
• Response Mechanism 33%
• Hardware Failure 33%
• Media Processing 33%
• Free Function 33%
• Error Response 33%
• Device Aging 33%
• Minimum Guarantee 33%
• Fault Tolerant Processor 33%

Computer Science

• Case Study 100%
• Formal Verification 100%
• Formal Specification 100%
• And-States 50%
• Fault Tolerant 50%
• Microarchitecture 50%
• Temporal Logic 50%
• Model Checking 50%
• Proposed Mechanism 50%
• Application Class 50%
• Hardware Failure 50%
• Response Effort 50%
• Device Parameter 50%