Identifying design glitches through automated design analysis | IEEE Conference Publication | IEEE Xplore