[Libre-silicon-devel] ARM starts campaign against RISC-V?
hsank at posteo.de
Tue Jul 10 08:23:27 CEST 2018
On 07/10/2018 07:36 AM, David Lanzendörfer wrote:
> And apparently AMD is giving us competition right now in producing back door free CPUs in China:
Well, from a verification point of view, you can not claim that a CPU is
bug- and/or back-door free.
By formal verification techniques we can assure, that the CPU has a
dedicated property like "reacting 3 clock cycles after reset is released".
Getting closer to your target, we would have to fully verify the whole
CPU design by 100%. That is what Formal Verification is for.
And BTW, the best effort in that direction for RISC-V Clifford already
did - he focus' his activities to verification  and published the
stuff on github 
We need LibreSilicon here even more, 'cause only in that way with the
right tools, costumers can verify that we did not put in new hidden
"features" while manufacturing. Please check the classic paper from Ken
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 819 bytes
Desc: OpenPGP digital signature
More information about the Libre-silicon-devel