Symbolic Debugging Scheme for Optimized Hardware and Software.

Farinaz Koushanfar, Darko Kirovski, Miodrag Potkonjak

Browse the full ICCAD paper archive.