paper: comments on MyHDL register/reset generation