New approaches for in-system debug of behaviorally-synthesized FPGA circuits | IEEE Conference Publication | IEEE Xplore