Re:Zhaoxin KaiXian x86 CPU Tested
by mhh__ on Friday January 01, 2021 @06:11PM
(#25608300)
In general, I'm very curious what a modern EDA flow looks like for an Intel or AMD - of those two AMD are apparently much better at automating their designs. I'm guessing not much of the HDL is ever actually touched by a human any more (i.e. generated from a specification by some in house program).
[ Parent
| on HN ]
Re:Zhaoxin KaiXian x86 CPU Tested
by colejohnson66 on Friday January 01, 2021 @10:21PM
(#25610072)
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.