Incremental Trace-Buffer Insertion for FPGA Debug | IEEE Journals & Magazine | IEEE Xplore