Error Model Free Automatic Design Error Correction of Complex Processors Using Formal Methods.
Amir Masoud GharehbaghiMasahiro FujitaPublished in: Asian Test Symposium (2012)
Keyphrases
- formal methods
- error correction
- model free
- error detection
- error analysis
- knowledge based systems
- design process
- formal specification
- modeling language
- machine learning
- development lifecycle
- safety critical
- data hiding
- software engineering
- reinforcement learning
- artificial intelligence
- fault tolerance
- load balancing
- source code
- least squares
- data mining