Project

General

Profile

Actions

Bug #6160

closed

VAAddrNotEqualPAAddrNotEqualDTLBTagNotReplacedJTLBTagNotEqualL1TagReplacedMEMIndexNotEqual is UNSAT

Added by Alexander Kamkin over 8 years ago. Updated over 8 years ago.

Status:
Closed
Priority:
High
Category:
MMU Plugin
Target version:
Start date:
07/08/2015
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
2.2.9

Description

DTLB.Event=MISS, JTLB.Event=HIT, L1.Event=MISS
DTLB.Event=MISS, JTLB.Event=HIT, L1.Event=MISS
VAAddrNotEqualPAAddrNotEqualDTLBTagNotReplacedJTLBTagNotEqualL1TagReplacedMEMIndexNotEqual

UNSAT

[AND [isMapped$0$[0, 0] = 1], AND [VA$0$[12, 12] = 0], AND [C$0$[0, 1] = C0$0$[0, 1]], AND [C$0$[2, 2] = C0$0$[2, 2]], AND [D$0$[0, 0] = D0$0$[0, 0]], AND [V$0$[0, 0] = V0$0$[0, 0]], AND [PFN$0$[0, 23] = PFN0$0$[0, 23]], AND [G$0$[0, 0] = 1], AND [V$0$[0, 0] = 1], AND [D$0$[0, 0] = 1], AND [isHiMem$0$[0, 0] = 0], AND [PA$0$[0, 4] = VA$0$[0, 4]], AND [PA$0$[5, 11] = VA$0$[5, 11]], AND [PA$0$[12, 35] = PFN$0$[0, 23]], OR [C$0$[0, 1] != 2], OR [C$0$[0, 1] != 2], OR [C$0$[0, 1] != 3], AND [isMapped$1$[0, 0] = 1], AND [VA$1$[12, 12] = 0], AND [C$1$[0, 1] = C0$1$[0, 1]], AND [C$1$[2, 2] = C0$1$[2, 2]], AND [D$1$[0, 0] = D0$1$[0, 0]], AND [V$1$[0, 0] = V0$1$[0, 0]], AND [PFN$1$[0, 23] = PFN0$1$[0, 23]], AND [G$1$[0, 0] = 1], AND [V$1$[0, 0] = 1], AND [D$1$[0, 0] = 1], AND [isHiMem$1$[0, 0] = 0], AND [PA$1$[0, 4] = VA$1$[0, 4]], AND [PA$1$[5, 11] = VA$1$[5, 11]], AND [PA$1$[12, 35] = PFN$1$[0, 23]], OR [C$1$[0, 1] != 2], OR [C$1$[0, 1] != 2], OR [C$1$[0, 1] != 3], OR [VA$0$[0, 4] != VA$1$[0, 4], VA$0$[5, 11] != VA$1$[5, 11], VA$0$[12, 12] != VA$1$[12, 12], VA$0$[13, 39] != VA$1$[13, 39], VA$0$[40, 63] != VA$1$[40, 63]], OR [PA$0$[0, 4] != PA$1$[0, 4], PA$0$[5, 11] != PA$1$[5, 11], PA$0$[12, 35] != PA$1$[12, 35]], OR [VA$0$[13, 39] != VA$1$[13, 39]], OR [VA$0$[13, 39] != VA$1$[13, 39]], AND [PA$0$[5, 11] = PA$1$[5, 11]], OR [PA$0$[12, 35] != PA$1$[12, 35]], OR [PA$0$[5, 11] != PA$1$[5, 11], PA$0$[12, 35] != PA$1$[12, 35]]]

Actions

Also available in: Atom PDF