diff --git a/src/main/scala/bus/simplebus/SimpleBus.scala b/src/main/scala/bus/simplebus/SimpleBus.scala
index 6bd3f9e08ad5ef652a3e55749b710a6eed022baf..af872e5989340d62f4c30c174d128c97976bcf08 100644
--- a/src/main/scala/bus/simplebus/SimpleBus.scala
+++ b/src/main/scala/bus/simplebus/SimpleBus.scala
@@ -30,7 +30,7 @@ object SimpleBusCmd {
 }
 
 class SimpleBusReqBundle(val userBits: Int = 0) extends SimpleBusBundle {
-  val addr = Output(UInt(64.W))
+  val addr = Output(UInt(39.W))
   val size = Output(UInt(3.W))
   val cmd = Output(SimpleBusCmd())
   val wmask = Output(UInt((DataBits / 8).W))
diff --git a/src/main/scala/noop/Bundle.scala b/src/main/scala/noop/Bundle.scala
index 39c1e1638285518e7568f2128d528fb769bdab3a..010a153ad5055a66848d7f4f5fea6083623be0e9 100644
--- a/src/main/scala/noop/Bundle.scala
+++ b/src/main/scala/noop/Bundle.scala
@@ -94,7 +94,7 @@ class MMUIO extends NOOPBundle {
 
   val loadPF = Output(Bool())
   val storePF = Output(Bool())
-  val addr = Output(UInt(AddrBits.W)) // reserved for further use
+  val addr = Output(UInt(AddrBits.W)) 
   
   def isPF() = loadPF || storePF
 }
diff --git a/src/main/scala/noop/IDU1.scala b/src/main/scala/noop/IDU1.scala
index 4ecdc6164d53aea2bf93f310288b589b2175e028..73ee1d2d2eebfb2d7fd241f07007086dcdb8bd7f 100644
--- a/src/main/scala/noop/IDU1.scala
+++ b/src/main/scala/noop/IDU1.scala
@@ -48,7 +48,7 @@ class IDU1 extends NOOPModule with HasInstrType {
   val specialPCR = Reg(UInt(AddrBits.W)) // reg for full inst that cross 2 inst line
   val specialNPCR = Reg(UInt(AddrBits.W)) // reg for pnc for full inst jump that cross 2 inst line
   val specialInstR = Reg(UInt(16.W))
-  val redirectPC = Cat(io.in.bits.pc(63,3), 0.U(3.W))+"b1010".U // IDU can got get full inst from a single inst line  //TODO: fix by lemover-zhangzifei pc(31,3) -> pc(63,3)
+  val redirectPC = Cat(io.in.bits.pc(AddrBits-1,3), 0.U(3.W))+"b1010".U // IDU can got get full inst from a single inst line  
   val rvcForceLoadNext = (pcOffset === 2.U && !isRVC && io.in.bits.pnpc(2,0) === 4.U && !brIdx(1))
   //------------------------------------------------------
   // rvcForceLoadNext is used to deal with: 
@@ -107,7 +107,7 @@ class IDU1 extends NOOPModule with HasInstrType {
       is(s_extra){//get 16 aligned inst, pc controled by this FSM
         canGo := rvcFinish || rvcNext
         canIn := rvcFinish || rvcForceLoadNext
-        pcOut := Cat(io.in.bits.pc(63,3), pcOffsetR(2,0)) //TODO: fix by lemover-zhangzifei pc(31,3) -> pc(63,3)
+        pcOut := Cat(io.in.bits.pc(AddrBits-1,3), pcOffsetR(2,0)) 
         pnpcOut := Mux(rvcFinish, io.in.bits.pnpc, Mux(isRVC, pcOut+2.U, pcOut+4.U))
         when(io.out.fire() && rvcFinish){state := s_idle}
         when(io.out.fire() && rvcNext){
diff --git a/src/main/scala/noop/NOOP.scala b/src/main/scala/noop/NOOP.scala
index 3eb7686b8a35dbb0ff93f924641d9930a697532f..eddc93aa5b212e5a0de315f49c8d171a24f85b20 100644
--- a/src/main/scala/noop/NOOP.scala
+++ b/src/main/scala/noop/NOOP.scala
@@ -16,8 +16,9 @@ trait HasNOOPParameter {
   val HasIcache = true
   val HasDcache = true
   val EnableStoreQueue = false
-  val AddrBits = 64//32 //TODO: fix by lemover-zhangzifei 32->64
-  val AddrBytes = AddrBits / 8
+  val AddrBits = 39 // AddrBits is Virtual Memory addr bits
+  val PAddrBits = 39 // PAddrBits is Phyical Memory addr bits
+  val AddrBytes = AddrBits / 8 // unused
   val DataBits = XLEN
   val DataBytes = DataBits / 8
 }
diff --git a/src/main/scala/noop/TLB.scala b/src/main/scala/noop/TLB.scala
index 746b3e0402e35477bbe6e585b4ed4ac7ee754c15..be67d9bce0480352d3ddd5eacf95956c80df3d75 100644
--- a/src/main/scala/noop/TLB.scala
+++ b/src/main/scala/noop/TLB.scala
@@ -8,30 +8,32 @@ import bus.simplebus._
 import bus.axi4._
 import utils._
 
-trait Sv39Const{
-  val vpnLen = 27
-  val ppnLen = 44
+trait Sv39Const extends HasNOOPParameter{
   val Level = 3
-  val ppn2Len = 26
+  val ppn2Len = 9
   val ppn1Len = 9
   val ppn0Len = 9
-  val offLen  = 12
+  val ppnLen = ppn2Len + ppn1Len + ppn0Len
   val vpn2Len = 9
   val vpn1Len = 9
   val vpn0Len = 9
-  val vaResLen= 25
-  val paResLen= 8
-
-  val paddrLen = 64
-  val vaddrLen = 64
-  val satpLen = 64
+  val vpnLen = vpn2Len + vpn1Len + vpn0Len
+  val offLen  = 12
+  
+  val paddrLen = PAddrBits
+  val vaddrLen = AddrBits
+  val satpLen = XLEN
   val satpModeLen = 4
   val asidLen = 16
   val flagLen = 8
-  val ptEntryLen = 64
+
+  val ptEntryLen = XLEN
+  val ppnResLen = XLEN - ppnLen - satpModeLen - asidLen
+  val vaResLen = 25 // unused
+  val paResLen = 25 // unused 
+  val pteResLen = XLEN -ppnLen - 2 - flagLen
 
   def vaBundle = new Bundle {
-    val reserverd = UInt(vaResLen.W)
     val vpn2 = UInt(vpn2Len.W)
     val vpn1 = UInt(vpn1Len.W)
     val vpn0 = UInt(vpn0Len.W)
@@ -39,11 +41,15 @@ trait Sv39Const{
   }
 
   def vaBundle2 = new Bundle {
-    val reserverd = UInt(vaResLen.W)
     val vpn  = UInt(vpnLen.W)
     val off  = UInt(offLen.W)
   }
 
+  def vaBundle3 = new Bundle {
+    val vpn = UInt(vpnLen.W)
+    val off = UInt(offLen.W)
+  }
+
   def vpnBundle = new Bundle {
     val vpn2 = UInt(vpn2Len.W)
     val vpn1 = UInt(vpn1Len.W)
@@ -51,7 +57,6 @@ trait Sv39Const{
   }
 
   def paBundle = new Bundle {
-    val reserved = UInt(paResLen.W)
     val ppn2 = UInt(ppn2Len.W)
     val ppn1 = UInt(ppn1Len.W)
     val ppn0 = UInt(ppn0Len.W)
@@ -59,17 +64,23 @@ trait Sv39Const{
   }
 
   def paBundle2 = new Bundle {
-    val reserved = UInt(paResLen.W)
     val ppn  = UInt(ppnLen.W)
     val off  = UInt(offLen.W)
   }
   
-  def paddrApply(ppn: UInt, off: UInt):UInt = {
-    Cat(Cat(0.U(paResLen.W), Cat(ppn, off)), 0.U(3.W))
+  def paBundle3 = new Bundle {
+    val ppn2 = UInt(ppn2Len.W)
+    val ppn1 = UInt(ppn1Len.W)
+    val ppn0 = UInt(ppn0Len.W)
+    val off  = UInt( offLen.W)
+  }
+
+  def paddrApply(ppn: UInt, vpnn: UInt):UInt = {
+    Cat(Cat(ppn, vpnn), 0.U(3.W))
   }
   
   def pteBundle = new Bundle {
-    val reserved  = UInt(10.W)
+    val reserved  = UInt(pteResLen.W)
     val ppn  = UInt(ppnLen.W)
     val rsw  = UInt(2.W)
     val flag = new Bundle {
@@ -87,6 +98,7 @@ trait Sv39Const{
   def satpBundle = new Bundle {
     val mode = UInt(satpModeLen.W)
     val asid = UInt(asidLen.W)
+    val ppnRes = UInt(ppnResLen.W)
     val ppn  = UInt(ppnLen.W)
   }
 
@@ -113,7 +125,7 @@ trait Sv39Const{
   }
 
   def maskPaddr(ppn:UInt, vaddr:UInt, mask:UInt) = {
-    MaskData(vaddr, Cat(0.U(paResLen.W), ppn, 0.U(offLen.W)), Cat("h1ffffff".U(25.W), "h1ff".U(vpn2Len.W), mask, 0.U(offLen.W)))
+    MaskData(vaddr, Cat(ppn, 0.U(offLen.W)), Cat("h1ff".U(vpn2Len.W), mask, 0.U(offLen.W)))
   }
 
   def MaskEQ(mask: UInt, pattern: UInt, vpn: UInt) = {
@@ -134,6 +146,7 @@ sealed trait HasTlbConst extends Sv39Const{
   implicit val tlbConfig: TLBConfig
 
   val AddrBits: Int
+  val PAddrBits: Int
   val XLEN: Int
 
   val tlbname = tlbConfig.name
@@ -144,7 +157,7 @@ sealed trait HasTlbConst extends Sv39Const{
 
   val maskLen = vpn0Len + vpn1Len  // 18
   val metaLen = vpnLen + asidLen + maskLen + flagLen // 27 + 16 + 18 + 8 = 69
-  val dataLen = ppnLen + AddrBits // 44 + 64 = 108
+  val dataLen = ppnLen + PAddrBits // 
 
   val debug = true && tlbname == "dtlb"
 
@@ -157,7 +170,7 @@ sealed trait HasTlbConst extends Sv39Const{
 
   def dataBundle = new Bundle {
     val ppn = UInt(ppnLen.W)
-    val addr = UInt(AddrBits.W) // pte addr, used to write back pte when flag changes (flag.d, flag.v)
+    val addr = UInt(PAddrBits.W) // pte addr, used to write back pte when flag changes (flag.d, flag.v)
   }
 
 }
@@ -218,7 +231,7 @@ class TLBData(implicit val tlbConfig: TLBConfig) extends TlbModule {
       val wen = Input(Bool())
       val dest = Input(UInt(NTLBBits.W))
       val ppn = Input(UInt(ppnLen.W))
-      val pteaddr = Input(UInt(AddrBits.W))
+      val pteaddr = Input(UInt(PAddrBits.W))
     }
   })
   
@@ -282,7 +295,7 @@ class TLB(implicit val tlbConfig: TLBConfig) extends TlbModule{
     io.out.req <> tlbExec.io.out
     io.in.resp <> io.out.resp
   }
-  
+
   // lsu need dtlb signals
   if(tlbname == "dtlb") {
     val alreadyOutFinish = RegEnable(true.B, init=false.B, tlbExec.io.out.valid && !tlbExec.io.out.ready)
@@ -412,7 +425,7 @@ class TLBExec(implicit val tlbConfig: TLBConfig) extends TlbModule{
   val missMetaRefill = WireInit(false.B)
   val missRefillFlag = WireInit(0.U(8.W))
   val memRdata = io.mem.resp.bits.rdata.asTypeOf(pteBundle)
-  val raddr = Reg(UInt(AddrBits.W))
+  val raddr = Reg(UInt(PAddrBits.W))
   val alreadyOutFire = RegEnable(true.B, init = false.B, io.out.fire)
 
   //handle flush