Methods of HDL - models diagnosis | IEEE Conference Publication | IEEE Xplore