Farinaz Koushanfar, Darko Kirovski, Miodrag Potkonjak. Symbolic Debugging Scheme for Optimized Hardware and Software. In Ellen Sentovich, editor, Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000, San Jose, California, USA, November 5-9, 2000. pages 40-43, IEEE, 2000.
Abstract is missing.