Mehdi Dehbashi, Görschwin Fey. Debug Automation for Synchronization Bugs at RTL. In 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, Mumbai, India, January 5-9, 2014. pages 44-49, IEEE, 2014. [doi]
Abstract is missing.