myhdl: register with reset example