Debugging HDL designs based on functional equivalences with high-level specifications. - Alexander Finder; Jan-Philipp Witte; Görschwin Fey (DDECS, 2013)