Similar repositories to hpretl/verilog-covered: