An Incremental Trace-Based Debug System for Field-Programmable Gate-Arrays