@thornschuh and @ilg ,
One thing that I’ve noted it’s the connection of .global_interrupts() input in the E31 RTL code because if I use the scheme like image below, machine timer starts counting as expected, but If I use the commented way, it just does not happens…I don’t know how the slack parameters affect the mtimer reg synthesis.
