Streamlining FPGA Design from Specification to Bitstream