Testing VLSI circuits from VHDL descriptions | Publicación