High-Level Design Tools for FPGA-Based Combinatorial Accelerators