Zissis Poulos, Yu-Shen Yang, Andreas G. Veneris, Bao Le. Simulation and satisfiability guided counter-example triage for RTL design debugging. In Fifteenth International Symposium on Quality Electronic Design, ISQED 2014, Santa Clara, CA, USA, March 3-5, 2014. pages 618-624, IEEE, 2014. [doi]
Abstract is missing.