CDC 6600 emulation - was Re: How do they make Verilog code for unknown ICs?