Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / src / soc / experiment / test / pagetables.py
1 def b(x): # byte-reverse function
2 return int.from_bytes(x.to_bytes(8, byteorder='little'),
3 byteorder='big', signed=False)
4
5 test1 = {
6 0x10000: # PARTITION_TABLE_2
7 # PATB_GR=1 PRTB=0x1000 PRTS=0xb
8 b(0x800000000100000b),
9
10 0x30000: # RADIX_ROOT_PTE
11 # V = 1 L = 0 NLB = 0x400 NLS = 9
12 b(0x8000000000040009),
13
14 0x40000: # RADIX_SECOND_LEVEL
15 # V = 1 L = 1 SW = 0 RPN = 0
16 # R = 1 C = 1 ATT = 0 EAA 0x7
17 b(0xc000000000000183),
18
19 0x1000000: # PROCESS_TABLE_3
20 # RTS1 = 0x2 RPDB = 0x300 RTS2 = 0x5 RPDS = 13
21 b(0x40000000000300ad),
22
23 #0x10004: 0
24
25 }