Symbolic Debugging Scheme for Optimized Hardware and Software.

Farinaz Koushanfar Darko Kirovski Miodrag Potkonjak Symbolic Debugging Scheme for Optimized Hardware and Software. 40-43 2000 conf/iccad/2000 ICCAD db/conf/iccad/iccad2000.html#KoushanfarKP00