Symbolic debugging of globally optimized behavioral specifications.

Inki Hong, Darko Kirovski, Miodrag Potkonjak, Marios C. Papaefthymiou

Browse the full ASPDAC paper archive.