bbdevs/private: links for arcas-verilog