Advances in Fault Diagnosis Automation for Silicon Prototypes