Classification of Resilience Techniques Against Functional Errors at Higher Abstraction Layers of Digital Systems | Synapse