How do they make Verilog code for unknown ICs?