So, whatever fault model you are assuming there is a correspondence from, the correspond means low level hardware realization of that right, then the second such fault which is mentioned here, it says that an assignment statement X equal to Y does not work; which means you are giving this assignments, but the value of the expression Y is not getting assigned to X, X remains at its own value.
కాబట్టి, ఏ తప్పు మోడల్ అయినా అక్కడ ఒక కరస్పాండెన్స్ ఉందని మీరు గ్రహిస్తారు. కరస్పాండెంట్ అంటే ఆ హక్కు యొక్క తక్కువ స్థాయి హార్డ్వేర్ సాక్షాత్కారం అని అర్థం. అప్పుడు ఇక్కడ పేర్కొన్న రెండవ లోపం ఏమిటంటే, అసైన్మెంట్ స్టేట్మెంట్ X అనేది Y కు సమానం అనేది పనిచేయదని చెబుతుంది. అంటే మీరు ఈ అసైన్మెంట్ ఇస్తున్నారని ,కానీ Y వ్యక్తీకరణ యొక్క విలువ X కి కేటాయించబడటం లేదు అని అర్థం.