Symbolic debugging of globally optimized behavioral specifications

• Authors:

• Inki Hong;Darko Kirovski;Miodrag Potkonjak;Marlos C. Papaefthymiou

• Affiliations:

• -;-;-;-

• Venue:
• ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
• Year:
• 2000