[Cryptech Tech] design software

[Bernd Paysan]

Am Montag, 18. Januar 2016, 19:31:48 schrieb Randy Bush:
> what you say about the verilog makes total sense, at least to me.  the
> same goes for the c code in the arm and whatever in the external hosts.
> in all of these, we have concerns about trust in the tools; but we do
> not have the resources to work in that area.

The main difference here is that even with proprietary tools, your design 
files (Verilog or C source code) still are open and can be processed by free 
tools, which could be more trustworthy than the proprietary ones 
(theoretically).  In case of Verilog, the free tool chain is limited to some 
Lattice FPGAs now, but that will hopefully change in future; the reverse 
engineered bitstream format allows you to actually perform formal verification 
against the source, which you can't do for the proprietary tools.

-- 
Bernd Paysan
"If you want it done right, you have to do it yourself"
net2o ID: kQusJzA;7*?t=uy at X}1GWr!+0qqp_Cn176t4(dQ*
http://bernd-paysan.de/