Invited paper:Checking sequences for the control unit in digital circuits described by means of register transfer languages | Publicación