No need to bet, just ask someone who knows :)
To understand why MyHDL designs work, there's not even a need to refer to actual silicon. To synthesize, you need to
convert to Verilog or VHDL first. Assuming you agree that those can work on silicon :) , the remaining problem is to prove that...