Specifically, I assume it is in reference to the announced second generative AI silicon challenge. And no, it does not have to be verilog. It just needs to be generated by an AI and be synthesizable to an ASIC target. Given that the LLMs are very context-limited, generating large and complex systems probably requires moving to as high-level a description level as you can, so Chisel is probably a good choice.