Bug-Free Software, was: Re: on FPGA simulation