Debugging at the electronic system level (2010)