A System for Behavior Extraction from FPGA Implementations of Synchronous Designs | IEEE Conference Publication | IEEE Xplore