The top documents tagged [synthesizable verilog]