- b -

• b : T2 , Transf_round_comb.Unrolled
• b_acc : Last_transformation.RTL
• b_feedback : Transf_round.Naive , Transf_round.Precomputed_UF1 , Transf_round.Reordered_UF1 , Transf_round.Reordered_UF2
• b_hash : Transf_round.Naive
• b_in : Transf_round_comb
• b_iv : Initialisation_block.Reordered_UF2 , Last_transformation.RTL
• b_mux_out : Transf_round.Reordered_UF1 , Transf_round.Reordered_UF2
• b_new : Last_transformation.RTL
• b_out : Transf_round.Naive , Transf_round.Precomputed_UF1 , Transf_round.Reordered_UF1 , Transf_round.Reordered_UF2 , Transf_round_comb
• b_reg_in : Transf_round.Reordered_UF1 , Transf_round.Reordered_UF2
• b_reg_out : Transf_round.Reordered_UF1 , Transf_round.Reordered_UF2
• b_t : Transf_round.Precomputed_UF1
• bigA_reg_in : Transf_round.Reordered_UF2
• bigA_reg_out : Transf_round.Reordered_UF2
• bigh_feedback : Transf_round.Reordered_UF2
• bigh_mux_out : Transf_round.Reordered_UF2
• bigh_out : Transf_round.Reordered_UF2
• bigh_star_feedback : Transf_round.Reordered_UF2
• bigH_star_int : Transf_round.Reordered_UF2
• bigh_star_mux_out : Transf_round.Reordered_UF2
• bigh_star_out : Transf_round.Reordered_UF2
• bigH_star_reg_in : Transf_round.Reordered_UF2
• bigH_star_reg_out : Transf_round.Reordered_UF2
• buffered_input : SHA2_core.RTL