Test generation for digital circuits described by means of register transfer languages | Publicación