Improving the design process of VLSI circuits by means of a hardware debugging system: UNSHADES-1 framework | IEEE Conference Publication | IEEE Xplore