Detraque: Dynamic execution tracing techniques for automatic fault localization of hardware design code