1
wget ftp://icarus.com/pub/eda/verilog/v10/verilog-10.2.tar.gz || wget https://deb.debian.org/debian/pool/main/i/iverilog/iverilog_10.2.orig.tar.gz