[Fedora-electronic-lab-list] Re: verilator