Towards an automatic diagnosis for high-level design validation | IEEE Conference Publication | IEEE Xplore