add bitwuzla/cvc5 to hdl-tools-yosys
[dev-env-setup.git] / verilator-install
2021-05-19 R Veera KumarAdd verilator install script.