2 ms·
I'm coming from a side where people are nowadays literally working with their own FPGAs to get more performance though haha
by jcelerier 4y ago
I'm coming from a side where people are nowadays literally working with their own FPGAs to get more performance though haha
- pjmlp 4y agoHopefully they are doing VHDL with formal verification, for the sake of their data consistency.
- jcelerier 4y agoI'm currently working with very good researchers on formal verification of a part of the software I'm writing in rewriting logic with Maude - formalizing a fairly simplified version of the execution engine algorithms (0.005% of the c++ codebase maybe, 2500 lines of c++ at most) is taking ~a year roughly so far. That's not really viable for general development especially with requirements which evolve all the time.