On Jan 26, 2022, at 6:09 PM, Adam Thornton
<athornton(a)gmail.com> wrote:
"Reflections on Trusting Trust" plus the fact that no one has designed new real
computers at the gate level for at least 30 years, maybe longer--it's done in an HDL
of some kind, which is to say, software--means it's already way, way too late.
https://arith-matic.com/notebook/4bit-7400-homebrew-computer-cpu
https://eater.net/8bit/
http://cpuville.com/Projects/Original-CPU/Original-CPU-home.html
Then there are people like Ken Shiriff who are revese
engineering from die photos of a chip!
https://www.youtube.com/watch?v=aHx-XUA6f9g
Of course, you may need some machine learning to reverse
engineer a modern chip with bilions of transistors to see
if some surreptitious logic was sneaked in!
You may need some way to prove the manufactured chip is
exactly what was specified. Probably impossible today.