Publication | Closed Access
A software methodology for detecting hardware faults in vliw data paths
47
Citations
19
References
2003
Year
EngineeringHardware Verification LanguageProcessor Data PathsVliw Data PathsComputer ArchitectureData PathSoftware EngineeringSoftware AnalysisFormal VerificationHardware SecurityReliability EngineeringHardware VirtualizationFault AnalysisFailure DetectionRuntime VerificationHardware FaultsComputer EngineeringSoftware MethodologyComputer ScienceVliw ArchitectureHardware EmulationProgram AnalysisSoftware TestingFault InjectionSystem Software
The proposed methodology aims to achieve processor data paths for VLIW architectures able to autonomously detect transient and permanent hardware faults while executing their applications. The approach, carried out on the compiled application software, provides the introduction of additional instructions for controlling the correctness of the computation with respect to failures in one of the data path functional units. The advantage of a software approach to hardware fault detection is interesting because it allows one to apply it only to the critical applications executed on the VLIW architecture, thus not causing a delay in the execution of noncritical tasks. Furthermore, by exploiting the intrinsic redundancy of this class of architectures no hardware modification is required on the data path so that no processor customization is necessary.
| Year | Citations | |
|---|---|---|
Page 1
Page 1