The relentless growth in size and
complexity of integrated circuits over the past decades
continues to present new challenges to the electronic
design community. Today, debugging is a bottleneck that
jeopardizes the efficiency of the design industry. To
alleviate this burden, scalable and practical automated
solutions are required. This book presents novel
techniques and methodologies to bridge the gap between
current capabilities of debuggers and the strict industry
...