Bernhard Peischl Franz Wotawa Automated Source-Level Error Localization in Hardware Designs. 8-19 2006 23 IEEE Design & Test of Computers 1 http://doi.ieeecomputersociety.org/10.1109/MDT.2006.5 db/journals/dt/dt23.html#PeischlW06