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@X}1GWr!+0qqp_Cn176t4(dQ* http://bernd-paysan.de/ _______________________________________________ Tech mailing list [email protected] https://lists.cryptech.is/listinfo/tech
