IBM 360/30 in verilog (was: How do they make Verilog code for unknown ICs?)