fasec_hwtest module bugfix; set_registers tcl script changed because of out of context IPs; after synthesis