1 Table of Contents: “... Special-Purpose Language for Implementing Pipelined FPGA-based Accelerators -- Enabler-Based Synchronizer...”

2 “... and accelerate error detection, observation, and isolation as well as design understanding...”

3 “... allows to verify the obtained results and helps to accelerate the search for bugs in case of errors...”

4 “... and are able to accelerate the search process significantly; Provides SAT formulations for the prevalent delay...”

5 “... space exploration of complex SoC designs for accelerated, low-risk development...”