Debug Automation for Synchronization Bugs at RTL.

Mehdi Dehbashi Görschwin Fey

Published in: VLSI Design (2014)

Keyphrases

source code
test cases
programs written
chaotic systems
software systems
model based diagnosis
software projects
data sets
real world
machine learning
security vulnerabilities
phase locked