def read_from_register(ctx, value):
   return ctx.get_property('/registers/fpga/reg1')
    
def write_to_register(ctx, value):
   ctx.set_property(value, '/registers/fpga/reg1')