Mehdi Dehbashi received his M.Sc. in computer engineering from Sharif University of Technology, Tehran, Iran, in 2007 and his PhD in computer science from University of Bremen, Bremen, Germany in 2013.  He is currently a researcher with the Group of Cyber-Physical Systems of the German Research Center for Artificial Intelligence (DFKI). His research interests are computer aided design for circuits and systems, dependable embedded systems design, and distributed embedded systems.Goerschwin Fey is a professor for Reliable Embedded Systems at the University of Bremen and heads the Department of Avionics Systems at the Institute of Space Systems of the German Aerospace Center (DLR). He received his Diploma in Computer Science from Martin-Luther-Universität Halle-Wittenberg in 2001 and his PhD in Computer Science from University of Bremen in 2006. Goerschwin published more than 50 papers at international conferences and journals. His research yields advanced tool support for embedded system's design with a focus on automated debugging, diagnosis and design understanding.

• Introduction.- Preliminaries.- Part I Debug of Design Bugs.- Automated Debugging for Logic Bugs.- Automated Debugging from Pre-Silicon to Post-Silicon.- Automated Debugging for Synchronization Bugs.- Part II Debug of Delay Faults.- Analyzing Timing Variations.- Automated Debugging for Timing Variations.- Efficient Automated Speedpath Debugging.- Part III Debug of Transactions.- Online Debug for NoC-Based Multiprocessor SoCs.- Summary and Outlook.

Mehdi Dehbashi received his M.Sc. in computer engineering from Sharif University of Technology, Tehran, Iran, in 2007 and his PhD in computer science from University of Bremen, Bremen, Germany in 2013.  He is currently a researcher with the Group of Cyber-Physical Systems of the German Research Center for Artificial Intelligence (DFKI). His research interests are computer aided design for circuits and systems, dependable embedded systems design, and distributed embedded systems.Goerschwin Fey is a professor for Reliable Embedded Systems at the University of Bremen and heads the Department of Avionics Systems at the Institute of Space Systems of the German Aerospace Center (DLR). He received his Diploma in Computer Science from Martin-Luther-Universität Halle-Wittenberg in 2001 and his PhD in Computer Science from University of Bremen in 2006. Goerschwin published more than 50 papers at international conferences and journals. His research yields advanced tool support for embedded system's design with a focus on automated debugging, diagnosis and design understanding.

• Introduction.- Preliminaries.- Part I Debug of Design Bugs.- Automated Debugging for Logic Bugs.- Automated Debugging from Pre-Silicon to Post-Silicon.- Automated Debugging for Synchronization Bugs.- Part II Debug of Delay Faults.- Analyzing Timing Variations.- Automated Debugging for Timing Variations.- Efficient Automated Speedpath Debugging.- Part III Debug of Transactions.- Online Debug for NoC-Based Multiprocessor SoCs.- Summary and Outlook.

Mehdi Dehbashi received his M.Sc. in computer engineering from Sharif University of Technology, Tehran, Iran, in 2007 and his PhD in computer science from University of Bremen, Bremen, Germany in 2013.  He is currently a researcher with the Group of Cyber-Physical Systems of the German Research Center for Artificial Intelligence (DFKI). His research interests are computer aided design for circuits and systems, dependable embedded systems design, and distributed embedded systems.Goerschwin Fey is a professor for Reliable Embedded Systems at the University of Bremen and heads the Department of Avionics Systems at the Institute of Space Systems of the German Aerospace Center (DLR). He received his Diploma in Computer Science from Martin-Luther-Universität Halle-Wittenberg in 2001 and his PhD in Computer Science from University of Bremen in 2006. Goerschwin published more than 50 papers at international conferences and journals. His research yields advanced tool support for embedded system's design with a focus on automated debugging, diagnosis and design understanding.

• Introduction.- Preliminaries.- Part I Debug of Design Bugs.- Automated Debugging for Logic Bugs.- Automated Debugging from Pre-Silicon to Post-Silicon.- Automated Debugging for Synchronization Bugs.- Part II Debug of Delay Faults.- Analyzing Timing Variations.- Automated Debugging for Timing Variations.- Efficient Automated Speedpath Debugging.- Part III Debug of Transactions.- Online Debug for NoC-Based Multiprocessor SoCs.- Summary and Outlook.