Registers:
const10int
normalx_1int
tmp1int
normalm_m_2int
tmp2int
tmp3int
State Machine:
branch:1assign:5
inputs:
int
outputs:
int
s2(initial) next:
15
id:5
inputs:
10
outputs:
var:x_1
id:1
s15 next:
11
id:19
inputs:
var:x_1
outputs:
tmp:reg_t2
id:18
s16 next:
4
id:22
inputs:
tmp:reg_t3
outputs:
tmp:reg_t1
id:20
s4 next:
5
id:7
inputs:
tmp:reg_t1
outputs:
var:m_m_2
id:3
s5(return) next:
5
id:25
s11 next:
16
id:16
inputs:
tmp:reg_t2
outputs:
tmp:reg_t3
id:15