Masahiro Fujita, Yoshihisa Kojima, Amir Masoud Gharehbaghi. Debugging from high level down to gate level. In Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009. pages 627-630, ACM, 2009. [doi]
Abstract is missing.