Tools like nMigen do exist where you write a Python program that generates the Verilog for you. You can also run formal verification on it. I’m sure Intel and AMD have their own in house software systems.