
# Data Propagation Report

- **STAT1** : Number of instructions that hit unique coverpoints and update the signature.
- **STAT2** : Number of instructions that hit covepoints which are not unique but still update the signature
- **STAT3** : Number of instructions that hit a unique coverpoint but do not update signature
- **STAT4** : Number of multiple signature updates for the same coverpoint
- **STAT5** : Number of times the signature was overwritten

| Param                     | Value    |
|---------------------------|----------|
| XLEN                      | 32      |
| TEST_REGION               | [('0x800000f8', '0x80000db0')]      |
| SIG_REGION                | [('0x80002010', '0x800023e0', '244 words')]      |
| COV_LABELS                | sha256sig0      |
| TEST_NAME                 | /scratch/git-repo/incoresemi/temp/riscof_work/sha256sig0-rwp1.S/ref.S    |
| Total Number of coverpoints| 156     |
| Total Coverpoints Hit     | 56      |
| Total Signature Updates   | 243      |
| STAT1                     | 27      |
| STAT2                     | 54      |
| STAT3                     | 0     |
| STAT4                     | 162     |
| STAT5                     | 0     |

## Details for STAT2:

```
Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x8000013c]:sha256sig0
      [0x80000140]:xori
      [0x80000144]:sw
 -- Signature Address: 0x8000201c Data: 0x923453af
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x3
      - rd : x1
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000164]:sha256sig0
      [0x80000168]:add
      [0x8000016c]:sw
 -- Signature Address: 0x80002028 Data: 0x00131d23
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x3
      - rd : x1
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800001b4]:sha256sig0
      [0x800001b8]:xori
      [0x800001bc]:sw
 -- Signature Address: 0x80002040 Data: 0xd6fb3210
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x4
      - rd : x2
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800001dc]:sha256sig0
      [0x800001e0]:add
      [0x800001e4]:sw
 -- Signature Address: 0x8000204c Data: 0xfbdb8666
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x4
      - rd : x2
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x8000022c]:sha256sig0
      [0x80000230]:xori
      [0x80000234]:sw
 -- Signature Address: 0x80002064 Data: 0x23cc7c7c
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x5
      - rd : x3
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000254]:sha256sig0
      [0x80000258]:add
      [0x8000025c]:sw
 -- Signature Address: 0x80002070 Data: 0xe79b8f9f
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x5
      - rd : x3
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800002a4]:sha256sig0
      [0x800002a8]:xori
      [0x800002ac]:sw
 -- Signature Address: 0x80002088 Data: 0x506b61a1
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x6
      - rd : x4
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800002cc]:sha256sig0
      [0x800002d0]:add
      [0x800002d4]:sw
 -- Signature Address: 0x80002094 Data: 0x2487814b
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x6
      - rd : x4
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x8000031c]:sha256sig0
      [0x80000320]:xori
      [0x80000324]:sw
 -- Signature Address: 0x800020ac Data: 0x62fd036f
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x7
      - rd : x5
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000344]:sha256sig0
      [0x80000348]:add
      [0x8000034c]:sw
 -- Signature Address: 0x800020b8 Data: 0x952ccf2f
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x7
      - rd : x5
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000394]:sha256sig0
      [0x80000398]:xori
      [0x8000039c]:sw
 -- Signature Address: 0x800020d0 Data: 0x90604668
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x8
      - rd : x6
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800003bc]:sha256sig0
      [0x800003c0]:add
      [0x800003c4]:sw
 -- Signature Address: 0x800020dc Data: 0xfc29d249
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x8
      - rd : x6
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x8000040c]:sha256sig0
      [0x80000410]:xori
      [0x80000414]:sw
 -- Signature Address: 0x800020f4 Data: 0x57947591
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x9
      - rd : x7
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000434]:sha256sig0
      [0x80000438]:add
      [0x8000043c]:sw
 -- Signature Address: 0x80002100 Data: 0x278cf290
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x9
      - rd : x7
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000484]:sha256sig0
      [0x80000488]:xori
      [0x8000048c]:sw
 -- Signature Address: 0x80002118 Data: 0x314af909
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x10
      - rd : x8
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800004ac]:sha256sig0
      [0x800004b0]:add
      [0x800004b4]:sw
 -- Signature Address: 0x80002124 Data: 0xe7702fdf
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x10
      - rd : x8
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800004fc]:sha256sig0
      [0x80000500]:xori
      [0x80000504]:sw
 -- Signature Address: 0x8000213c Data: 0x8b54f5c7
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x11
      - rd : x9
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000524]:sha256sig0
      [0x80000528]:add
      [0x8000052c]:sw
 -- Signature Address: 0x80002148 Data: 0x934171fa
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x11
      - rd : x9
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000574]:sha256sig0
      [0x80000578]:xori
      [0x8000057c]:sw
 -- Signature Address: 0x80002160 Data: 0x4994cd7b
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x12
      - rd : x10
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x8000059c]:sha256sig0
      [0x800005a0]:add
      [0x800005a4]:sw
 -- Signature Address: 0x8000216c Data: 0x25b4634c
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x12
      - rd : x10
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800005ec]:sha256sig0
      [0x800005f0]:xori
      [0x800005f4]:sw
 -- Signature Address: 0x80002184 Data: 0x21657690
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x13
      - rd : x11
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000614]:sha256sig0
      [0x80000618]:add
      [0x8000061c]:sw
 -- Signature Address: 0x80002190 Data: 0x73d0208b
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x13
      - rd : x11
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000664]:sha256sig0
      [0x80000668]:xori
      [0x8000066c]:sw
 -- Signature Address: 0x800021a8 Data: 0x994f8d46
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x14
      - rd : x12
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x8000068c]:sha256sig0
      [0x80000690]:add
      [0x80000694]:sw
 -- Signature Address: 0x800021b4 Data: 0x76c2616d
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x14
      - rd : x12
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800006dc]:sha256sig0
      [0x800006e0]:xori
      [0x800006e4]:sw
 -- Signature Address: 0x800021cc Data: 0x76eed0f5
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x15
      - rd : x13
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000704]:sha256sig0
      [0x80000708]:add
      [0x8000070c]:sw
 -- Signature Address: 0x800021d8 Data: 0x89caadb0
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x15
      - rd : x13
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000754]:sha256sig0
      [0x80000758]:xori
      [0x8000075c]:sw
 -- Signature Address: 0x800021f0 Data: 0x4616c2ad
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x16
      - rd : x14
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x8000077c]:sha256sig0
      [0x80000780]:add
      [0x80000784]:sw
 -- Signature Address: 0x800021fc Data: 0x2c5d9059
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x16
      - rd : x14
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800007cc]:sha256sig0
      [0x800007d0]:xori
      [0x800007d4]:sw
 -- Signature Address: 0x80002214 Data: 0x501f75ec
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x17
      - rd : x15
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800007f4]:sha256sig0
      [0x800007f8]:add
      [0x800007fc]:sw
 -- Signature Address: 0x80002220 Data: 0x4e5ea9d6
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x17
      - rd : x15
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000844]:sha256sig0
      [0x80000848]:xori
      [0x8000084c]:sw
 -- Signature Address: 0x80002238 Data: 0x48214464
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x18
      - rd : x16
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x8000086c]:sha256sig0
      [0x80000870]:add
      [0x80000874]:sw
 -- Signature Address: 0x80002244 Data: 0x93bc0974
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x18
      - rd : x16
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800008bc]:sha256sig0
      [0x800008c0]:xori
      [0x800008c4]:sw
 -- Signature Address: 0x8000225c Data: 0xdbd57f64
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x19
      - rd : x17
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800008e4]:sha256sig0
      [0x800008e8]:add
      [0x800008ec]:sw
 -- Signature Address: 0x80002268 Data: 0xcfafb55c
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x19
      - rd : x17
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000934]:sha256sig0
      [0x80000938]:xori
      [0x8000093c]:sw
 -- Signature Address: 0x80002280 Data: 0x93965e8d
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x20
      - rd : x18
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x8000095c]:sha256sig0
      [0x80000960]:add
      [0x80000964]:sw
 -- Signature Address: 0x8000228c Data: 0x6c55d770
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x20
      - rd : x18
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800009ac]:sha256sig0
      [0x800009b0]:xori
      [0x800009b4]:sw
 -- Signature Address: 0x800022a4 Data: 0x63e5ead7
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x21
      - rd : x19
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x800009d4]:sha256sig0
      [0x800009d8]:add
      [0x800009dc]:sw
 -- Signature Address: 0x800022b0 Data: 0xd1c204e8
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x21
      - rd : x19
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000a24]:sha256sig0
      [0x80000a28]:xori
      [0x80000a2c]:sw
 -- Signature Address: 0x800022c8 Data: 0x8b0a522a
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x22
      - rd : x20
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000a4c]:sha256sig0
      [0x80000a50]:add
      [0x80000a54]:sw
 -- Signature Address: 0x800022d4 Data: 0xb62992ac
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x22
      - rd : x20
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000a9c]:sha256sig0
      [0x80000aa0]:xori
      [0x80000aa4]:sw
 -- Signature Address: 0x800022ec Data: 0xbc8343be
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x23
      - rd : x21
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000ac4]:sha256sig0
      [0x80000ac8]:add
      [0x80000acc]:sw
 -- Signature Address: 0x800022f8 Data: 0xc5272ced
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x23
      - rd : x21
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000b14]:sha256sig0
      [0x80000b18]:xori
      [0x80000b1c]:sw
 -- Signature Address: 0x80002310 Data: 0x34da9248
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x24
      - rd : x22
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000b3c]:sha256sig0
      [0x80000b40]:add
      [0x80000b44]:sw
 -- Signature Address: 0x8000231c Data: 0x836d5df5
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x24
      - rd : x22
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000b8c]:sha256sig0
      [0x80000b90]:xori
      [0x80000b94]:sw
 -- Signature Address: 0x80002334 Data: 0x63c2f783
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x25
      - rd : x23
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000bb4]:sha256sig0
      [0x80000bb8]:add
      [0x80000bbc]:sw
 -- Signature Address: 0x80002340 Data: 0x59caa5dc
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x25
      - rd : x23
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000c04]:sha256sig0
      [0x80000c08]:xori
      [0x80000c0c]:sw
 -- Signature Address: 0x80002358 Data: 0x0c81d85c
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x26
      - rd : x24
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000c2c]:sha256sig0
      [0x80000c30]:add
      [0x80000c34]:sw
 -- Signature Address: 0x80002364 Data: 0xb230c0dd
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x26
      - rd : x24
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000c7c]:sha256sig0
      [0x80000c80]:xori
      [0x80000c84]:sw
 -- Signature Address: 0x8000237c Data: 0x6f506a01
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x27
      - rd : x25
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000ca4]:sha256sig0
      [0x80000ca8]:add
      [0x80000cac]:sw
 -- Signature Address: 0x80002388 Data: 0x9d856ee0
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x27
      - rd : x25
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000cf4]:sha256sig0
      [0x80000cf8]:xori
      [0x80000cfc]:sw
 -- Signature Address: 0x800023a0 Data: 0xa690a076
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x28
      - rd : x26
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000d1c]:sha256sig0
      [0x80000d20]:add
      [0x80000d24]:sw
 -- Signature Address: 0x800023ac Data: 0x5964c114
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x28
      - rd : x26
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000d6c]:sha256sig0
      [0x80000d70]:xori
      [0x80000d74]:sw
 -- Signature Address: 0x800023c4 Data: 0x63e08be0
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x29
      - rd : x27
      - rs1 != rd




Op without unique coverpoint updates Signature
 -- Code Sequence:
      [0x80000d94]:sha256sig0
      [0x80000d98]:add
      [0x80000d9c]:sw
 -- Signature Address: 0x800023d0 Data: 0x50fbf20d
 -- Redundant Coverpoints hit by the op
      - opcode : sha256sig0
      - rs1 : x29
      - rd : x27
      - rs1 != rd






```

## Details of STAT3

```


```

## Details of STAT4:

```
Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x3', 'rd : x1', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000114]:sha256sig0
	-[0x80000118]:xor
	-[0x8000011c]:sw
Current Store : [0x80000120] : None -- Store: [0x80002014]:0x2f2e7dca




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x3', 'rd : x1', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000114]:sha256sig0
	-[0x80000118]:xor
	-[0x8000011c]:sw
Current Store : [0x80000124] : None -- Store: [0x80002018]:0x42e5d19a




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x3', 'rd : x1', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000013c]:sha256sig0
	-[0x80000140]:xori
	-[0x80000144]:sw
Current Store : [0x80000148] : None -- Store: [0x80002020]:0x5989065f




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x3', 'rd : x1', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000013c]:sha256sig0
	-[0x80000140]:xori
	-[0x80000144]:sw
Current Store : [0x8000014c] : None -- Store: [0x80002024]:0xa676f9a0




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x3', 'rd : x1', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000164]:sha256sig0
	-[0x80000168]:add
	-[0x8000016c]:sw
Current Store : [0x80000170] : None -- Store: [0x8000202c]:0x814a859a




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x3', 'rd : x1', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000164]:sha256sig0
	-[0x80000168]:add
	-[0x8000016c]:sw
Current Store : [0x80000174] : None -- Store: [0x80002030]:0xef1631ea




Last Coverpoint : ['rs1 : x4', 'rd : x2']
Last Code Sequence : 
	-[0x8000018c]:sha256sig0
	-[0x80000190]:xor
	-[0x80000194]:sw
Current Store : [0x80000198] : None -- Store: [0x80002038]:0xb3ebd4ac




Last Coverpoint : ['rs1 : x4', 'rd : x2']
Last Code Sequence : 
	-[0x8000018c]:sha256sig0
	-[0x80000190]:xor
	-[0x80000194]:sw
Current Store : [0x8000019c] : None -- Store: [0x8000203c]:0x9aef1943




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x4', 'rd : x2', 'rs1 != rd']
Last Code Sequence : 
	-[0x800001b4]:sha256sig0
	-[0x800001b8]:xori
	-[0x800001bc]:sw
Current Store : [0x800001c0] : None -- Store: [0x80002044]:0xf7f6a598




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x4', 'rd : x2', 'rs1 != rd']
Last Code Sequence : 
	-[0x800001b4]:sha256sig0
	-[0x800001b8]:xori
	-[0x800001bc]:sw
Current Store : [0x800001c4] : None -- Store: [0x80002048]:0x08095a67




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x4', 'rd : x2', 'rs1 != rd']
Last Code Sequence : 
	-[0x800001dc]:sha256sig0
	-[0x800001e0]:add
	-[0x800001e4]:sw
Current Store : [0x800001e8] : None -- Store: [0x80002050]:0x33157936




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x4', 'rd : x2', 'rs1 != rd']
Last Code Sequence : 
	-[0x800001dc]:sha256sig0
	-[0x800001e0]:add
	-[0x800001e4]:sw
Current Store : [0x800001ec] : None -- Store: [0x80002054]:0x5c1a4725




Last Coverpoint : ['rs1 : x5', 'rd : x3']
Last Code Sequence : 
	-[0x80000204]:sha256sig0
	-[0x80000208]:xor
	-[0x8000020c]:sw
Current Store : [0x80000210] : None -- Store: [0x8000205c]:0xc6a2333a




Last Coverpoint : ['rs1 : x5', 'rd : x3']
Last Code Sequence : 
	-[0x80000204]:sha256sig0
	-[0x80000208]:xor
	-[0x8000020c]:sw
Current Store : [0x80000214] : None -- Store: [0x80002060]:0x1a91b0b9




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x5', 'rd : x3', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000022c]:sha256sig0
	-[0x80000230]:xori
	-[0x80000234]:sw
Current Store : [0x80000238] : None -- Store: [0x80002068]:0xe3211f84




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x5', 'rd : x3', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000022c]:sha256sig0
	-[0x80000230]:xori
	-[0x80000234]:sw
Current Store : [0x8000023c] : None -- Store: [0x8000206c]:0x1cdee07b




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x5', 'rd : x3', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000254]:sha256sig0
	-[0x80000258]:add
	-[0x8000025c]:sw
Current Store : [0x80000260] : None -- Store: [0x80002074]:0xc0dbbf0a




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x5', 'rd : x3', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000254]:sha256sig0
	-[0x80000258]:add
	-[0x8000025c]:sw
Current Store : [0x80000264] : None -- Store: [0x80002078]:0x9d0f428d




Last Coverpoint : ['rs1 : x6', 'rd : x4']
Last Code Sequence : 
	-[0x8000027c]:sha256sig0
	-[0x80000280]:xor
	-[0x80000284]:sw
Current Store : [0x80000288] : None -- Store: [0x80002080]:0xe3f6f5b6




Last Coverpoint : ['rs1 : x6', 'rd : x4']
Last Code Sequence : 
	-[0x8000027c]:sha256sig0
	-[0x80000280]:xor
	-[0x80000284]:sw
Current Store : [0x8000028c] : None -- Store: [0x80002084]:0x4c626be8




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x6', 'rd : x4', 'rs1 != rd']
Last Code Sequence : 
	-[0x800002a4]:sha256sig0
	-[0x800002a8]:xori
	-[0x800002ac]:sw
Current Store : [0x800002b0] : None -- Store: [0x8000208c]:0x90c5eeed




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x6', 'rd : x4', 'rs1 != rd']
Last Code Sequence : 
	-[0x800002a4]:sha256sig0
	-[0x800002a8]:xori
	-[0x800002ac]:sw
Current Store : [0x800002b4] : None -- Store: [0x80002090]:0x6f3a1112




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x6', 'rd : x4', 'rs1 != rd']
Last Code Sequence : 
	-[0x800002cc]:sha256sig0
	-[0x800002d0]:add
	-[0x800002d4]:sw
Current Store : [0x800002d8] : None -- Store: [0x80002098]:0x728b360a




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x6', 'rd : x4', 'rs1 != rd']
Last Code Sequence : 
	-[0x800002cc]:sha256sig0
	-[0x800002d0]:add
	-[0x800002d4]:sw
Current Store : [0x800002dc] : None -- Store: [0x8000209c]:0x221fd468




Last Coverpoint : ['rs1 : x7', 'rd : x5']
Last Code Sequence : 
	-[0x800002f4]:sha256sig0
	-[0x800002f8]:xor
	-[0x800002fc]:sw
Current Store : [0x80000300] : None -- Store: [0x800020a4]:0xd9ecead7




Last Coverpoint : ['rs1 : x7', 'rd : x5']
Last Code Sequence : 
	-[0x800002f4]:sha256sig0
	-[0x800002f8]:xor
	-[0x800002fc]:sw
Current Store : [0x80000304] : None -- Store: [0x800020a8]:0x44ee1647




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x7', 'rd : x5', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000031c]:sha256sig0
	-[0x80000320]:xori
	-[0x80000324]:sw
Current Store : [0x80000328] : None -- Store: [0x800020b0]:0x924182d4




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x7', 'rd : x5', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000031c]:sha256sig0
	-[0x80000320]:xori
	-[0x80000324]:sw
Current Store : [0x8000032c] : None -- Store: [0x800020b4]:0x6dbe7d2b




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x7', 'rd : x5', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000344]:sha256sig0
	-[0x80000348]:add
	-[0x8000034c]:sw
Current Store : [0x80000350] : None -- Store: [0x800020bc]:0x7e442530




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x7', 'rd : x5', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000344]:sha256sig0
	-[0x80000348]:add
	-[0x8000034c]:sw
Current Store : [0x80000354] : None -- Store: [0x800020c0]:0x1b4721c0




Last Coverpoint : ['rs1 : x8', 'rd : x6']
Last Code Sequence : 
	-[0x8000036c]:sha256sig0
	-[0x80000370]:xor
	-[0x80000374]:sw
Current Store : [0x80000378] : None -- Store: [0x800020c8]:0x3fede7a3




Last Coverpoint : ['rs1 : x8', 'rd : x6']
Last Code Sequence : 
	-[0x8000036c]:sha256sig0
	-[0x80000370]:xor
	-[0x80000374]:sw
Current Store : [0x8000037c] : None -- Store: [0x800020cc]:0x50725e34




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x8', 'rd : x6', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000394]:sha256sig0
	-[0x80000398]:xori
	-[0x8000039c]:sw
Current Store : [0x800003a0] : None -- Store: [0x800020d4]:0xd2b6ec59




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x8', 'rd : x6', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000394]:sha256sig0
	-[0x80000398]:xori
	-[0x8000039c]:sw
Current Store : [0x800003a4] : None -- Store: [0x800020d8]:0x2d4913a6




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x8', 'rd : x6', 'rs1 != rd']
Last Code Sequence : 
	-[0x800003bc]:sha256sig0
	-[0x800003c0]:add
	-[0x800003c4]:sw
Current Store : [0x800003c8] : None -- Store: [0x800020e0]:0xf8ef16e7




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x8', 'rd : x6', 'rs1 != rd']
Last Code Sequence : 
	-[0x800003bc]:sha256sig0
	-[0x800003c0]:add
	-[0x800003c4]:sw
Current Store : [0x800003cc] : None -- Store: [0x800020e4]:0x688ed07e




Last Coverpoint : ['rs1 : x9', 'rd : x7']
Last Code Sequence : 
	-[0x800003e4]:sha256sig0
	-[0x800003e8]:xor
	-[0x800003ec]:sw
Current Store : [0x800003f0] : None -- Store: [0x800020ec]:0x3bd4fc5f




Last Coverpoint : ['rs1 : x9', 'rd : x7']
Last Code Sequence : 
	-[0x800003e4]:sha256sig0
	-[0x800003e8]:xor
	-[0x800003ec]:sw
Current Store : [0x800003f4] : None -- Store: [0x800020f0]:0x93bf7631




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x9', 'rd : x7', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000040c]:sha256sig0
	-[0x80000410]:xori
	-[0x80000414]:sw
Current Store : [0x80000418] : None -- Store: [0x800020f8]:0x3539f3bc




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x9', 'rd : x7', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000040c]:sha256sig0
	-[0x80000410]:xori
	-[0x80000414]:sw
Current Store : [0x8000041c] : None -- Store: [0x800020fc]:0xcac60c43




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x9', 'rd : x7', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000434]:sha256sig0
	-[0x80000438]:add
	-[0x8000043c]:sw
Current Store : [0x80000440] : None -- Store: [0x80002104]:0x181a8e54




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x9', 'rd : x7', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000434]:sha256sig0
	-[0x80000438]:add
	-[0x8000043c]:sw
Current Store : [0x80000444] : None -- Store: [0x80002108]:0xc08618c2




Last Coverpoint : ['rs1 : x10', 'rd : x8']
Last Code Sequence : 
	-[0x8000045c]:sha256sig0
	-[0x80000460]:xor
	-[0x80000464]:sw
Current Store : [0x80000468] : None -- Store: [0x80002110]:0xaeea2c1c




Last Coverpoint : ['rs1 : x10', 'rd : x8']
Last Code Sequence : 
	-[0x8000045c]:sha256sig0
	-[0x80000460]:xor
	-[0x80000464]:sw
Current Store : [0x8000046c] : None -- Store: [0x80002114]:0x605f2aea




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x10', 'rd : x8', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000484]:sha256sig0
	-[0x80000488]:xori
	-[0x8000048c]:sw
Current Store : [0x80000490] : None -- Store: [0x8000211c]:0xaa098681




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x10', 'rd : x8', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000484]:sha256sig0
	-[0x80000488]:xori
	-[0x8000048c]:sw
Current Store : [0x80000494] : None -- Store: [0x80002120]:0x55f6797e




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x10', 'rd : x8', 'rs1 != rd']
Last Code Sequence : 
	-[0x800004ac]:sha256sig0
	-[0x800004b0]:add
	-[0x800004b4]:sw
Current Store : [0x800004b8] : None -- Store: [0x80002128]:0xa8d71c78




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x10', 'rd : x8', 'rs1 != rd']
Last Code Sequence : 
	-[0x800004ac]:sha256sig0
	-[0x800004b0]:add
	-[0x800004b4]:sw
Current Store : [0x800004bc] : None -- Store: [0x8000212c]:0x778c236e




Last Coverpoint : ['rs1 : x11', 'rd : x9']
Last Code Sequence : 
	-[0x800004d4]:sha256sig0
	-[0x800004d8]:xor
	-[0x800004dc]:sw
Current Store : [0x800004e0] : None -- Store: [0x80002134]:0xa2ed4deb




Last Coverpoint : ['rs1 : x11', 'rd : x9']
Last Code Sequence : 
	-[0x800004d4]:sha256sig0
	-[0x800004d8]:xor
	-[0x800004dc]:sw
Current Store : [0x800004e4] : None -- Store: [0x80002138]:0xd64647d3




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x11', 'rd : x9', 'rs1 != rd']
Last Code Sequence : 
	-[0x800004fc]:sha256sig0
	-[0x80000500]:xori
	-[0x80000504]:sw
Current Store : [0x80000508] : None -- Store: [0x80002140]:0xa30dd586




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x11', 'rd : x9', 'rs1 != rd']
Last Code Sequence : 
	-[0x800004fc]:sha256sig0
	-[0x80000500]:xori
	-[0x80000504]:sw
Current Store : [0x8000050c] : None -- Store: [0x80002144]:0x5cf22a79




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x11', 'rd : x9', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000524]:sha256sig0
	-[0x80000528]:add
	-[0x8000052c]:sw
Current Store : [0x80000530] : None -- Store: [0x8000214c]:0xbb30080c




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x11', 'rd : x9', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000524]:sha256sig0
	-[0x80000528]:add
	-[0x8000052c]:sw
Current Store : [0x80000534] : None -- Store: [0x80002150]:0x2fdb1244




Last Coverpoint : ['rs1 : x12', 'rd : x10']
Last Code Sequence : 
	-[0x8000054c]:sha256sig0
	-[0x80000550]:xor
	-[0x80000554]:sw
Current Store : [0x80000558] : None -- Store: [0x80002158]:0x02053205




Last Coverpoint : ['rs1 : x12', 'rd : x10']
Last Code Sequence : 
	-[0x8000054c]:sha256sig0
	-[0x80000550]:xor
	-[0x80000554]:sw
Current Store : [0x8000055c] : None -- Store: [0x8000215c]:0xb46e0081




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x12', 'rd : x10', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000574]:sha256sig0
	-[0x80000578]:xori
	-[0x8000057c]:sw
Current Store : [0x80000580] : None -- Store: [0x80002164]:0xccff6250




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x12', 'rd : x10', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000574]:sha256sig0
	-[0x80000578]:xori
	-[0x8000057c]:sw
Current Store : [0x80000584] : None -- Store: [0x80002168]:0x33009daf




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x12', 'rd : x10', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000059c]:sha256sig0
	-[0x800005a0]:add
	-[0x800005a4]:sw
Current Store : [0x800005a8] : None -- Store: [0x80002170]:0x842eedc2




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x12', 'rd : x10', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000059c]:sha256sig0
	-[0x800005a0]:add
	-[0x800005a4]:sw
Current Store : [0x800005ac] : None -- Store: [0x80002174]:0x3a9a2046




Last Coverpoint : ['rs1 : x13', 'rd : x11']
Last Code Sequence : 
	-[0x800005c4]:sha256sig0
	-[0x800005c8]:xor
	-[0x800005cc]:sw
Current Store : [0x800005d0] : None -- Store: [0x8000217c]:0x287e6f19




Last Coverpoint : ['rs1 : x13', 'rd : x11']
Last Code Sequence : 
	-[0x800005c4]:sha256sig0
	-[0x800005c8]:xor
	-[0x800005cc]:sw
Current Store : [0x800005d4] : None -- Store: [0x80002180]:0xf6e4e676




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x13', 'rd : x11', 'rs1 != rd']
Last Code Sequence : 
	-[0x800005ec]:sha256sig0
	-[0x800005f0]:xori
	-[0x800005f4]:sw
Current Store : [0x800005f8] : None -- Store: [0x80002188]:0x79ca6c66




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x13', 'rd : x11', 'rs1 != rd']
Last Code Sequence : 
	-[0x800005ec]:sha256sig0
	-[0x800005f0]:xori
	-[0x800005f4]:sw
Current Store : [0x800005fc] : None -- Store: [0x8000218c]:0x86359399




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x13', 'rd : x11', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000614]:sha256sig0
	-[0x80000618]:add
	-[0x8000061c]:sw
Current Store : [0x80000620] : None -- Store: [0x80002194]:0x10bf78a4




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x13', 'rd : x11', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000614]:sha256sig0
	-[0x80000618]:add
	-[0x8000061c]:sw
Current Store : [0x80000624] : None -- Store: [0x80002198]:0xef5a0213




Last Coverpoint : ['rs1 : x14', 'rd : x12']
Last Code Sequence : 
	-[0x8000063c]:sha256sig0
	-[0x80000640]:xor
	-[0x80000644]:sw
Current Store : [0x80000648] : None -- Store: [0x800021a0]:0x733a2d11




Last Coverpoint : ['rs1 : x14', 'rd : x12']
Last Code Sequence : 
	-[0x8000063c]:sha256sig0
	-[0x80000640]:xor
	-[0x80000644]:sw
Current Store : [0x8000064c] : None -- Store: [0x800021a4]:0x158a5fa8




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x14', 'rd : x12', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000664]:sha256sig0
	-[0x80000668]:xori
	-[0x8000066c]:sw
Current Store : [0x80000670] : None -- Store: [0x800021ac]:0x7d4ac8e1




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x14', 'rd : x12', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000664]:sha256sig0
	-[0x80000668]:xori
	-[0x8000066c]:sw
Current Store : [0x80000674] : None -- Store: [0x800021b0]:0x82b5371e




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x14', 'rd : x12', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000068c]:sha256sig0
	-[0x80000690]:add
	-[0x80000694]:sw
Current Store : [0x80000698] : None -- Store: [0x800021b8]:0x4c6e955f




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x14', 'rd : x12', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000068c]:sha256sig0
	-[0x80000690]:add
	-[0x80000694]:sw
Current Store : [0x8000069c] : None -- Store: [0x800021bc]:0xb31f0818




Last Coverpoint : ['rs1 : x15', 'rd : x13']
Last Code Sequence : 
	-[0x800006b4]:sha256sig0
	-[0x800006b8]:xor
	-[0x800006bc]:sw
Current Store : [0x800006c0] : None -- Store: [0x800021c4]:0x5c4d78fc




Last Coverpoint : ['rs1 : x15', 'rd : x13']
Last Code Sequence : 
	-[0x800006b4]:sha256sig0
	-[0x800006b8]:xor
	-[0x800006bc]:sw
Current Store : [0x800006c4] : None -- Store: [0x800021c8]:0xd55c57f6




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x15', 'rd : x13', 'rs1 != rd']
Last Code Sequence : 
	-[0x800006dc]:sha256sig0
	-[0x800006e0]:xori
	-[0x800006e4]:sw
Current Store : [0x800006e8] : None -- Store: [0x800021d0]:0x500d5a04




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x15', 'rd : x13', 'rs1 != rd']
Last Code Sequence : 
	-[0x800006dc]:sha256sig0
	-[0x800006e0]:xori
	-[0x800006e4]:sw
Current Store : [0x800006ec] : None -- Store: [0x800021d4]:0xaff2a5fb




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x15', 'rd : x13', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000704]:sha256sig0
	-[0x80000708]:add
	-[0x8000070c]:sw
Current Store : [0x80000710] : None -- Store: [0x800021dc]:0xdb46e29f




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x15', 'rd : x13', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000704]:sha256sig0
	-[0x80000708]:add
	-[0x8000070c]:sw
Current Store : [0x80000714] : None -- Store: [0x800021e0]:0x645811a9




Last Coverpoint : ['rs1 : x16', 'rd : x14']
Last Code Sequence : 
	-[0x8000072c]:sha256sig0
	-[0x80000730]:xor
	-[0x80000734]:sw
Current Store : [0x80000738] : None -- Store: [0x800021e8]:0xe971e5f1




Last Coverpoint : ['rs1 : x16', 'rd : x14']
Last Code Sequence : 
	-[0x8000072c]:sha256sig0
	-[0x80000730]:xor
	-[0x80000734]:sw
Current Store : [0x8000073c] : None -- Store: [0x800021ec]:0x5098d8a3




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x16', 'rd : x14', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000754]:sha256sig0
	-[0x80000758]:xori
	-[0x8000075c]:sw
Current Store : [0x80000760] : None -- Store: [0x800021f4]:0xe2e5a455




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x16', 'rd : x14', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000754]:sha256sig0
	-[0x80000758]:xori
	-[0x8000075c]:sw
Current Store : [0x80000764] : None -- Store: [0x800021f8]:0x1d1a5baa




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x16', 'rd : x14', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000077c]:sha256sig0
	-[0x80000780]:add
	-[0x80000784]:sw
Current Store : [0x80000788] : None -- Store: [0x80002200]:0xd3c5423c




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x16', 'rd : x14', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000077c]:sha256sig0
	-[0x80000780]:add
	-[0x80000784]:sw
Current Store : [0x8000078c] : None -- Store: [0x80002204]:0x8dae7f8e




Last Coverpoint : ['rs1 : x17', 'rd : x15']
Last Code Sequence : 
	-[0x800007a4]:sha256sig0
	-[0x800007a8]:xor
	-[0x800007ac]:sw
Current Store : [0x800007b0] : None -- Store: [0x8000220c]:0x0324e3f6




Last Coverpoint : ['rs1 : x17', 'rd : x15']
Last Code Sequence : 
	-[0x800007a4]:sha256sig0
	-[0x800007a8]:xor
	-[0x800007ac]:sw
Current Store : [0x800007b4] : None -- Store: [0x80002210]:0xacc469e5




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x17', 'rd : x15', 'rs1 != rd']
Last Code Sequence : 
	-[0x800007cc]:sha256sig0
	-[0x800007d0]:xori
	-[0x800007d4]:sw
Current Store : [0x800007d8] : None -- Store: [0x80002218]:0x0fd8c451




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x17', 'rd : x15', 'rs1 != rd']
Last Code Sequence : 
	-[0x800007cc]:sha256sig0
	-[0x800007d0]:xori
	-[0x800007d4]:sw
Current Store : [0x800007dc] : None -- Store: [0x8000221c]:0xf0273bae




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x17', 'rd : x15', 'rs1 != rd']
Last Code Sequence : 
	-[0x800007f4]:sha256sig0
	-[0x800007f8]:add
	-[0x800007fc]:sw
Current Store : [0x80000800] : None -- Store: [0x80002224]:0x0f22fbfe




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x17', 'rd : x15', 'rs1 != rd']
Last Code Sequence : 
	-[0x800007f4]:sha256sig0
	-[0x800007f8]:add
	-[0x800007fc]:sw
Current Store : [0x80000804] : None -- Store: [0x80002228]:0xbf038611




Last Coverpoint : ['rs1 : x18', 'rd : x16']
Last Code Sequence : 
	-[0x8000081c]:sha256sig0
	-[0x80000820]:xor
	-[0x80000824]:sw
Current Store : [0x80000828] : None -- Store: [0x80002230]:0x74c8e224




Last Coverpoint : ['rs1 : x18', 'rd : x16']
Last Code Sequence : 
	-[0x8000081c]:sha256sig0
	-[0x80000820]:xor
	-[0x80000824]:sw
Current Store : [0x8000082c] : None -- Store: [0x80002234]:0xc31659bf




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x18', 'rd : x16', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000844]:sha256sig0
	-[0x80000848]:xori
	-[0x8000084c]:sw
Current Store : [0x80000850] : None -- Store: [0x8000223c]:0x908d780c




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x18', 'rd : x16', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000844]:sha256sig0
	-[0x80000848]:xori
	-[0x8000084c]:sw
Current Store : [0x80000854] : None -- Store: [0x80002240]:0x6f7287f3




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x18', 'rd : x16', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000086c]:sha256sig0
	-[0x80000870]:add
	-[0x80000874]:sw
Current Store : [0x80000878] : None -- Store: [0x80002248]:0xf90dddd3




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x18', 'rd : x16', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000086c]:sha256sig0
	-[0x80000870]:add
	-[0x80000874]:sw
Current Store : [0x8000087c] : None -- Store: [0x8000224c]:0xb0ec996e




Last Coverpoint : ['rs1 : x19', 'rd : x17']
Last Code Sequence : 
	-[0x80000894]:sha256sig0
	-[0x80000898]:xor
	-[0x8000089c]:sw
Current Store : [0x800008a0] : None -- Store: [0x80002254]:0x49fc0a08




Last Coverpoint : ['rs1 : x19', 'rd : x17']
Last Code Sequence : 
	-[0x80000894]:sha256sig0
	-[0x80000898]:xor
	-[0x8000089c]:sw
Current Store : [0x800008a4] : None -- Store: [0x80002258]:0x6dd68a93




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x19', 'rd : x17', 'rs1 != rd']
Last Code Sequence : 
	-[0x800008bc]:sha256sig0
	-[0x800008c0]:xori
	-[0x800008c4]:sw
Current Store : [0x800008c8] : None -- Store: [0x80002260]:0x8d1433e7




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x19', 'rd : x17', 'rs1 != rd']
Last Code Sequence : 
	-[0x800008bc]:sha256sig0
	-[0x800008c0]:xori
	-[0x800008c4]:sw
Current Store : [0x800008cc] : None -- Store: [0x80002264]:0x72ebcc18




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x19', 'rd : x17', 'rs1 != rd']
Last Code Sequence : 
	-[0x800008e4]:sha256sig0
	-[0x800008e8]:add
	-[0x800008ec]:sw
Current Store : [0x800008f0] : None -- Store: [0x8000226c]:0x4d3d9a2a




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x19', 'rd : x17', 'rs1 != rd']
Last Code Sequence : 
	-[0x800008e4]:sha256sig0
	-[0x800008e8]:add
	-[0x800008ec]:sw
Current Store : [0x800008f4] : None -- Store: [0x80002270]:0x71681ac5




Last Coverpoint : ['rs1 : x20', 'rd : x18']
Last Code Sequence : 
	-[0x8000090c]:sha256sig0
	-[0x80000910]:xor
	-[0x80000914]:sw
Current Store : [0x80000918] : None -- Store: [0x80002278]:0x6e749d59




Last Coverpoint : ['rs1 : x20', 'rd : x18']
Last Code Sequence : 
	-[0x8000090c]:sha256sig0
	-[0x80000910]:xor
	-[0x80000914]:sw
Current Store : [0x8000091c] : None -- Store: [0x8000227c]:0x021d3c2b




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x20', 'rd : x18', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000934]:sha256sig0
	-[0x80000938]:xori
	-[0x8000093c]:sw
Current Store : [0x80000940] : None -- Store: [0x80002284]:0x9ef68389




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x20', 'rd : x18', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000934]:sha256sig0
	-[0x80000938]:xori
	-[0x8000093c]:sw
Current Store : [0x80000944] : None -- Store: [0x80002288]:0x61097c76




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x20', 'rd : x18', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000095c]:sha256sig0
	-[0x80000960]:add
	-[0x80000964]:sw
Current Store : [0x80000968] : None -- Store: [0x80002290]:0x988e0a55




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x20', 'rd : x18', 'rs1 != rd']
Last Code Sequence : 
	-[0x8000095c]:sha256sig0
	-[0x80000960]:add
	-[0x80000964]:sw
Current Store : [0x8000096c] : None -- Store: [0x80002294]:0x04f7abc7




Last Coverpoint : ['rs1 : x21', 'rd : x19']
Last Code Sequence : 
	-[0x80000984]:sha256sig0
	-[0x80000988]:xor
	-[0x8000098c]:sw
Current Store : [0x80000990] : None -- Store: [0x8000229c]:0xbadeeec7




Last Coverpoint : ['rs1 : x21', 'rd : x19']
Last Code Sequence : 
	-[0x80000984]:sha256sig0
	-[0x80000988]:xor
	-[0x8000098c]:sw
Current Store : [0x80000994] : None -- Store: [0x800022a0]:0x26c4fbef




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x21', 'rd : x19', 'rs1 != rd']
Last Code Sequence : 
	-[0x800009ac]:sha256sig0
	-[0x800009b0]:xori
	-[0x800009b4]:sw
Current Store : [0x800009b8] : None -- Store: [0x800022a8]:0xd80eae76




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x21', 'rd : x19', 'rs1 != rd']
Last Code Sequence : 
	-[0x800009ac]:sha256sig0
	-[0x800009b0]:xori
	-[0x800009b4]:sw
Current Store : [0x800009bc] : None -- Store: [0x800022ac]:0x27f15189




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x21', 'rd : x19', 'rs1 != rd']
Last Code Sequence : 
	-[0x800009d4]:sha256sig0
	-[0x800009d8]:add
	-[0x800009dc]:sw
Current Store : [0x800009e0] : None -- Store: [0x800022b4]:0x4aa1f0e4




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x21', 'rd : x19', 'rs1 != rd']
Last Code Sequence : 
	-[0x800009d4]:sha256sig0
	-[0x800009d8]:add
	-[0x800009dc]:sw
Current Store : [0x800009e4] : None -- Store: [0x800022b8]:0xe6bc060c




Last Coverpoint : ['rs1 : x22', 'rd : x20']
Last Code Sequence : 
	-[0x800009fc]:sha256sig0
	-[0x80000a00]:xor
	-[0x80000a04]:sw
Current Store : [0x80000a08] : None -- Store: [0x800022c0]:0x9093c8c3




Last Coverpoint : ['rs1 : x22', 'rd : x20']
Last Code Sequence : 
	-[0x800009fc]:sha256sig0
	-[0x80000a00]:xor
	-[0x80000a04]:sw
Current Store : [0x80000a0c] : None -- Store: [0x800022c4]:0xe4666516




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x22', 'rd : x20', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000a24]:sha256sig0
	-[0x80000a28]:xori
	-[0x80000a2c]:sw
Current Store : [0x80000a30] : None -- Store: [0x800022cc]:0xd0fdfc23




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x22', 'rd : x20', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000a24]:sha256sig0
	-[0x80000a28]:xori
	-[0x80000a2c]:sw
Current Store : [0x80000a34] : None -- Store: [0x800022d0]:0x2f0203dc




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x22', 'rd : x20', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000a4c]:sha256sig0
	-[0x80000a50]:add
	-[0x80000a54]:sw
Current Store : [0x80000a58] : None -- Store: [0x800022d8]:0x2b024cfa




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x22', 'rd : x20', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000a4c]:sha256sig0
	-[0x80000a50]:add
	-[0x80000a54]:sw
Current Store : [0x80000a5c] : None -- Store: [0x800022dc]:0x9ff7facf




Last Coverpoint : ['rs1 : x23', 'rd : x21']
Last Code Sequence : 
	-[0x80000a74]:sha256sig0
	-[0x80000a78]:xor
	-[0x80000a7c]:sw
Current Store : [0x80000a80] : None -- Store: [0x800022e4]:0x70e404b1




Last Coverpoint : ['rs1 : x23', 'rd : x21']
Last Code Sequence : 
	-[0x80000a74]:sha256sig0
	-[0x80000a78]:xor
	-[0x80000a7c]:sw
Current Store : [0x80000a84] : None -- Store: [0x800022e8]:0x3398b8f0




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x23', 'rd : x21', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000a9c]:sha256sig0
	-[0x80000aa0]:xori
	-[0x80000aa4]:sw
Current Store : [0x80000aa8] : None -- Store: [0x800022f0]:0xba06c1d0




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x23', 'rd : x21', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000a9c]:sha256sig0
	-[0x80000aa0]:xori
	-[0x80000aa4]:sw
Current Store : [0x80000aac] : None -- Store: [0x800022f4]:0x45f93e2f




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x23', 'rd : x21', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000ac4]:sha256sig0
	-[0x80000ac8]:add
	-[0x80000acc]:sw
Current Store : [0x80000ad0] : None -- Store: [0x800022fc]:0x0815da8d




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x23', 'rd : x21', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000ac4]:sha256sig0
	-[0x80000ac8]:add
	-[0x80000acc]:sw
Current Store : [0x80000ad4] : None -- Store: [0x80002300]:0x4b9296ce




Last Coverpoint : ['rs1 : x24', 'rd : x22']
Last Code Sequence : 
	-[0x80000aec]:sha256sig0
	-[0x80000af0]:xor
	-[0x80000af4]:sw
Current Store : [0x80000af8] : None -- Store: [0x80002308]:0xbbe8ca52




Last Coverpoint : ['rs1 : x24', 'rd : x22']
Last Code Sequence : 
	-[0x80000aec]:sha256sig0
	-[0x80000af0]:xor
	-[0x80000af4]:sw
Current Store : [0x80000afc] : None -- Store: [0x8000230c]:0x70cda7e5




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x24', 'rd : x22', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000b14]:sha256sig0
	-[0x80000b18]:xori
	-[0x80000b1c]:sw
Current Store : [0x80000b20] : None -- Store: [0x80002314]:0x3260ea5b




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x24', 'rd : x22', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000b14]:sha256sig0
	-[0x80000b18]:xori
	-[0x80000b1c]:sw
Current Store : [0x80000b24] : None -- Store: [0x80002318]:0xcd9f15a4




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x24', 'rd : x22', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000b3c]:sha256sig0
	-[0x80000b40]:add
	-[0x80000b44]:sw
Current Store : [0x80000b48] : None -- Store: [0x80002320]:0xac1611de




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x24', 'rd : x22', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000b3c]:sha256sig0
	-[0x80000b40]:add
	-[0x80000b44]:sw
Current Store : [0x80000b4c] : None -- Store: [0x80002324]:0x773b7f95




Last Coverpoint : ['rs1 : x25', 'rd : x23']
Last Code Sequence : 
	-[0x80000b64]:sha256sig0
	-[0x80000b68]:xor
	-[0x80000b6c]:sw
Current Store : [0x80000b70] : None -- Store: [0x8000232c]:0x19327be5




Last Coverpoint : ['rs1 : x25', 'rd : x23']
Last Code Sequence : 
	-[0x80000b64]:sha256sig0
	-[0x80000b68]:xor
	-[0x80000b6c]:sw
Current Store : [0x80000b74] : None -- Store: [0x80002330]:0x850f7399




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x25', 'rd : x23', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000b8c]:sha256sig0
	-[0x80000b90]:xori
	-[0x80000b94]:sw
Current Store : [0x80000b98] : None -- Store: [0x80002338]:0xb75f03ef




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x25', 'rd : x23', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000b8c]:sha256sig0
	-[0x80000b90]:xori
	-[0x80000b94]:sw
Current Store : [0x80000b9c] : None -- Store: [0x8000233c]:0x48a0fc10




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x25', 'rd : x23', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000bb4]:sha256sig0
	-[0x80000bb8]:add
	-[0x80000bbc]:sw
Current Store : [0x80000bc0] : None -- Store: [0x80002344]:0x1afdd782




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x25', 'rd : x23', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000bb4]:sha256sig0
	-[0x80000bb8]:add
	-[0x80000bbc]:sw
Current Store : [0x80000bc4] : None -- Store: [0x80002348]:0xb73adffe




Last Coverpoint : ['rs1 : x26', 'rd : x24']
Last Code Sequence : 
	-[0x80000bdc]:sha256sig0
	-[0x80000be0]:xor
	-[0x80000be4]:sw
Current Store : [0x80000be8] : None -- Store: [0x80002350]:0x14845ddd




Last Coverpoint : ['rs1 : x26', 'rd : x24']
Last Code Sequence : 
	-[0x80000bdc]:sha256sig0
	-[0x80000be0]:xor
	-[0x80000be4]:sw
Current Store : [0x80000bec] : None -- Store: [0x80002354]:0xe7fa7a7e




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x26', 'rd : x24', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000c04]:sha256sig0
	-[0x80000c08]:xori
	-[0x80000c0c]:sw
Current Store : [0x80000c10] : None -- Store: [0x8000235c]:0xcf9e3b9b




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x26', 'rd : x24', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000c04]:sha256sig0
	-[0x80000c08]:xori
	-[0x80000c0c]:sw
Current Store : [0x80000c14] : None -- Store: [0x80002360]:0x3061c464




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x26', 'rd : x24', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000c2c]:sha256sig0
	-[0x80000c30]:add
	-[0x80000c34]:sw
Current Store : [0x80000c38] : None -- Store: [0x80002368]:0x9d151516




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x26', 'rd : x24', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000c2c]:sha256sig0
	-[0x80000c30]:add
	-[0x80000c34]:sw
Current Store : [0x80000c3c] : None -- Store: [0x8000236c]:0x90933cb9




Last Coverpoint : ['rs1 : x27', 'rd : x25']
Last Code Sequence : 
	-[0x80000c54]:sha256sig0
	-[0x80000c58]:xor
	-[0x80000c5c]:sw
Current Store : [0x80000c60] : None -- Store: [0x80002374]:0xb9f09a27




Last Coverpoint : ['rs1 : x27', 'rd : x25']
Last Code Sequence : 
	-[0x80000c54]:sha256sig0
	-[0x80000c58]:xor
	-[0x80000c5c]:sw
Current Store : [0x80000c64] : None -- Store: [0x80002378]:0x295f0fd9




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x27', 'rd : x25', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000c7c]:sha256sig0
	-[0x80000c80]:xori
	-[0x80000c84]:sw
Current Store : [0x80000c88] : None -- Store: [0x80002380]:0x15b4f640




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x27', 'rd : x25', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000c7c]:sha256sig0
	-[0x80000c80]:xori
	-[0x80000c84]:sw
Current Store : [0x80000c8c] : None -- Store: [0x80002384]:0xea4b09bf




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x27', 'rd : x25', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000ca4]:sha256sig0
	-[0x80000ca8]:add
	-[0x80000cac]:sw
Current Store : [0x80000cb0] : None -- Store: [0x8000238c]:0x89338060




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x27', 'rd : x25', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000ca4]:sha256sig0
	-[0x80000ca8]:add
	-[0x80000cac]:sw
Current Store : [0x80000cb4] : None -- Store: [0x80002390]:0x19e3165e




Last Coverpoint : ['rs1 : x28', 'rd : x26']
Last Code Sequence : 
	-[0x80000ccc]:sha256sig0
	-[0x80000cd0]:xor
	-[0x80000cd4]:sw
Current Store : [0x80000cd8] : None -- Store: [0x80002398]:0x9e1eda1a




Last Coverpoint : ['rs1 : x28', 'rd : x26']
Last Code Sequence : 
	-[0x80000ccc]:sha256sig0
	-[0x80000cd0]:xor
	-[0x80000cd4]:sw
Current Store : [0x80000cdc] : None -- Store: [0x8000239c]:0xc7718593




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x28', 'rd : x26', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000cf4]:sha256sig0
	-[0x80000cf8]:xori
	-[0x80000cfc]:sw
Current Store : [0x80000d00] : None -- Store: [0x800023a4]:0xd1829cea




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x28', 'rd : x26', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000cf4]:sha256sig0
	-[0x80000cf8]:xori
	-[0x80000cfc]:sw
Current Store : [0x80000d04] : None -- Store: [0x800023a8]:0x2e7d6315




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x28', 'rd : x26', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000d1c]:sha256sig0
	-[0x80000d20]:add
	-[0x80000d24]:sw
Current Store : [0x80000d28] : None -- Store: [0x800023b0]:0x13db47f9




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x28', 'rd : x26', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000d1c]:sha256sig0
	-[0x80000d20]:add
	-[0x80000d24]:sw
Current Store : [0x80000d2c] : None -- Store: [0x800023b4]:0x6d4aa782




Last Coverpoint : ['rs1 : x29', 'rd : x27']
Last Code Sequence : 
	-[0x80000d44]:sha256sig0
	-[0x80000d48]:xor
	-[0x80000d4c]:sw
Current Store : [0x80000d50] : None -- Store: [0x800023bc]:0x2535ad1d




Last Coverpoint : ['rs1 : x29', 'rd : x27']
Last Code Sequence : 
	-[0x80000d44]:sha256sig0
	-[0x80000d48]:xor
	-[0x80000d4c]:sw
Current Store : [0x80000d54] : None -- Store: [0x800023c0]:0xb92ad902




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x29', 'rd : x27', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000d6c]:sha256sig0
	-[0x80000d70]:xori
	-[0x80000d74]:sw
Current Store : [0x80000d78] : None -- Store: [0x800023c8]:0xee43c893




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x29', 'rd : x27', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000d6c]:sha256sig0
	-[0x80000d70]:xori
	-[0x80000d74]:sw
Current Store : [0x80000d7c] : None -- Store: [0x800023cc]:0x11bc376c




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x29', 'rd : x27', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000d94]:sha256sig0
	-[0x80000d98]:add
	-[0x80000d9c]:sw
Current Store : [0x80000da0] : None -- Store: [0x800023d4]:0xec3ddd9b




Last Coverpoint : ['opcode : sha256sig0', 'rs1 : x29', 'rd : x27', 'rs1 != rd']
Last Code Sequence : 
	-[0x80000d94]:sha256sig0
	-[0x80000d98]:add
	-[0x80000d9c]:sw
Current Store : [0x80000da4] : None -- Store: [0x800023d8]:0x885d51ba





```

## Details of STAT5:



## Details of STAT1:

- The first column indicates the signature address and the data at that location in hexadecimal in the following format: 
  ```
  [Address]
  Data
  ```

- The second column captures all the coverpoints which have been captured by that particular signature location

- The third column captures all the insrtuctions since the time a coverpoint was
  hit to the point when a store to the signature was performed. Each line has
  the following format:
  ```
  [PC of instruction] : mnemonic
  ```
- The order in the table is based on the order of signatures occuring in the
  test. These need not necessarily be in increasing or decreasing order of the
  address in the signature region.

|s.no|        signature         |                              coverpoints                              |                                code                                 |
|---:|--------------------------|-----------------------------------------------------------------------|---------------------------------------------------------------------|
|   1|[0x80002010]<br>0xff8cdc83|- opcode : sha256sig0<br> - rs1 : x3<br> - rd : x1<br> - rs1 != rd<br> |[0x80000114]:sha256sig0<br> [0x80000118]:xor<br> [0x8000011c]:sw<br> |
|   2|[0x80002034]<br>0xfbd27598|- rs1 : x4<br> - rd : x2<br>                                           |[0x8000018c]:sha256sig0<br> [0x80000190]:xor<br> [0x80000194]:sw<br> |
|   3|[0x80002058]<br>0xd75b8f9f|- rs1 : x5<br> - rd : x3<br>                                           |[0x80000204]:sha256sig0<br> [0x80000208]:xor<br> [0x8000020c]:sw<br> |
|   4|[0x8000207c]<br>0xdb667cb3|- rs1 : x6<br> - rd : x4<br>                                           |[0x8000027c]:sha256sig0<br> [0x80000280]:xor<br> [0x80000284]:sw<br> |
|   5|[0x800020a0]<br>0x652b2e0f|- rs1 : x7<br> - rd : x5<br>                                           |[0x800002f4]:sha256sig0<br> [0x800002f8]:xor<br> [0x800002fc]:sw<br> |
|   6|[0x800020c4]<br>0xe315a125|- rs1 : x8<br> - rd : x6<br>                                           |[0x8000036c]:sha256sig0<br> [0x80000370]:xor<br> [0x80000374]:sw<br> |
|   7|[0x800020e8]<br>0xd74ae24c|- rs1 : x9<br> - rd : x7<br>                                           |[0x800003e4]:sha256sig0<br> [0x800003e8]:xor<br> [0x800003ec]:sw<br> |
|   8|[0x8000210c]<br>0xd60e2e1f|- rs1 : x10<br> - rd : x8<br>                                          |[0x8000045c]:sha256sig0<br> [0x80000460]:xor<br> [0x80000464]:sw<br> |
|   9|[0x80002130]<br>0x6a3d6dfa|- rs1 : x11<br> - rd : x9<br>                                          |[0x800004d4]:sha256sig0<br> [0x800004d8]:xor<br> [0x800004dc]:sw<br> |
|  10|[0x80002154]<br>0xd922024c|- rs1 : x12<br> - rd : x10<br>                                         |[0x8000054c]:sha256sig0<br> [0x80000550]:xor<br> [0x80000554]:sw<br> |
|  11|[0x80002178]<br>0x4baf1e73|- rs1 : x13<br> - rd : x11<br>                                         |[0x800005c4]:sha256sig0<br> [0x800005c8]:xor<br> [0x800005cc]:sw<br> |
|  12|[0x8000219c]<br>0x76a19c0d|- rs1 : x14<br> - rd : x12<br>                                         |[0x8000063c]:sha256sig0<br> [0x80000640]:xor<br> [0x80000644]:sw<br> |
|  13|[0x800021c0]<br>0x89a851ac|- rs1 : x15<br> - rd : x13<br>                                         |[0x800006b4]:sha256sig0<br> [0x800006b8]:xor<br> [0x800006bc]:sw<br> |
|  14|[0x800021e4]<br>0xcb9d6e55|- rs1 : x16<br> - rd : x14<br>                                         |[0x8000072c]:sha256sig0<br> [0x80000730]:xor<br> [0x80000734]:sw<br> |
|  15|[0x80002208]<br>0x319e95d0|- rs1 : x17<br> - rd : x15<br>                                         |[0x800007a4]:sha256sig0<br> [0x800007a8]:xor<br> [0x800007ac]:sw<br> |
|  16|[0x8000222c]<br>0x6c03f642|- rs1 : x18<br> - rd : x16<br>                                         |[0x8000081c]:sha256sig0<br> [0x80000820]:xor<br> [0x80000824]:sw<br> |
|  17|[0x80002250]<br>0x8fafb45a|- rs1 : x19<br> - rd : x17<br>                                         |[0x80000894]:sha256sig0<br> [0x80000898]:xor<br> [0x8000089c]:sw<br> |
|  18|[0x80002274]<br>0x9385948c|- rs1 : x20<br> - rd : x18<br>                                         |[0x8000090c]:sha256sig0<br> [0x80000910]:xor<br> [0x80000914]:sw<br> |
|  19|[0x80002298]<br>0xa9bdfae8|- rs1 : x21<br> - rd : x19<br>                                         |[0x80000984]:sha256sig0<br> [0x80000988]:xor<br> [0x8000098c]:sw<br> |
|  20|[0x800022bc]<br>0x35c64902|- rs1 : x22<br> - rd : x20<br>                                         |[0x800009fc]:sha256sig0<br> [0x80000a00]:xor<br> [0x80000a04]:sw<br> |
|  21|[0x800022e0]<br>0xc2d6cced|- rs1 : x23<br> - rd : x21<br>                                         |[0x80000a74]:sha256sig0<br> [0x80000a78]:xor<br> [0x80000a7c]:sw<br> |
|  22|[0x80002304]<br>0x73629d89|- rs1 : x24<br> - rd : x22<br>                                         |[0x80000aec]:sha256sig0<br> [0x80000af0]:xor<br> [0x80000af4]:sw<br> |
|  23|[0x80002328]<br>0x21b0951c|- rs1 : x25<br> - rd : x23<br>                                         |[0x80000b64]:sha256sig0<br> [0x80000b68]:xor<br> [0x80000b6c]:sw<br> |
|  24|[0x8000234c]<br>0x4dccbe99|- rs1 : x26<br> - rd : x24<br>                                         |[0x80000bdc]:sha256sig0<br> [0x80000be0]:xor<br> [0x80000be4]:sw<br> |
|  25|[0x80002370]<br>0x9c7a4d1c|- rs1 : x27<br> - rd : x25<br>                                         |[0x80000c54]:sha256sig0<br> [0x80000c58]:xor<br> [0x80000c5c]:sw<br> |
|  26|[0x80002394]<br>0xa69a3e02|- rs1 : x28<br> - rd : x26<br>                                         |[0x80000ccc]:sha256sig0<br> [0x80000cd0]:xor<br> [0x80000cd4]:sw<br> |
|  27|[0x800023b8]<br>0x28c309f1|- rs1 : x29<br> - rd : x27<br>                                         |[0x80000d44]:sha256sig0<br> [0x80000d48]:xor<br> [0x80000d4c]:sw<br> |
