Has anybody used Amazon AWS for FPGA hardware sims? I don't know anything about it and I tried to read up on it but it's all a bit vague. Amazon has farms of FPGAs (Xilinx, I think?) but they mostly market these as software accelerators, meant to be somewhat abstracted from most users. But I'm wo ndering if I can upload bitfiles and do hardware sims. For example, to cha racterize some of my error correction modules, I need to put in on the orde r of 1e16 bits, which would take maybe months in the simulator, or maybe a day in full-speed hardware (using a synthesizable testbench). Is that some thing I could do with these AWS farms? In this case, it wouldn't even have to use the same FPGA parts I'm targeting, nor would it need to run at full speed.
Furthermore, can AWS be used for synthesis/PAR? Regression Verilog sims?