thats how it works... well youd need to know how the fpga layout was not just have the bitstream i assume.
take the logic you can program into an fpga and hardcode it onto a chip and throw away everything else there is your asic chip. of course the $500k cost mentioned is referencing the cost of tapeout (unclear actual cost) to actually create the chip you have logic for.