addr* env.r_val env.addr* env.val plain* golden.decoder.state<0> golden.decoder.state<1> golden.decoder.state<2> golden.decoder.state<3> golden.decoder.state<4> golden.decoder.state<5> golden.decoder.state<6> golden.decoder.state<7> golden.decoder.state<8> golden.decoder.state<9> golden.encoder.character<0> golden.encoder.character<1> golden.encoder.character<2> golden.encoder.character<3> golden.encoder.character<4> golden.encoder.character<5> golden.encoder.character<6> golden.encoder.character<7> golden.encoder.r_ack golden.encoder.shiftreg<0> golden.encoder.shiftreg<1> golden.encoder.shiftreg<2> golden.encoder.shiftreg<3> golden.encoder.shiftreg<4> golden.encoder.shiftreg<5> golden.encoder.shiftreg<6> golden.encoder.shiftreg<7> golden.encoder.shiftreg<8> golden.encoder.shiftreg<9> golden.start val