fmarch

3 ms·

1. 1.▲
   by fmarch 11y ago

   There is an interesting paper on external sound static analysis tools (verification tools like SMT and SAT solvers) in Frama-C to increase effectiveness of optimizations and generating better, in terms of performance and not just correctnes
2. 2.▲
   by fmarch 11y ago

   Thanks for the information. I understand its a hard problem but an essential one that needs a solution. It needs to be supported both in Chisel and with appropriate infrastructure to test and compare with the golden ISA model. Is there any
3. 3.▲
   by fmarch 11y ago

   I want to at the minimum compare the architectural state of the implementation on every retire with the ISA simulator (Spike). In addition it would be good to have a set of assertions to maintain the sanity (read functional correctness) wh
4. 4.▲
   by fmarch 11y ago

   Has any one created a verification infrastructure with any of RISC-V implementations? The git repository does have a set of tests and benchmarks but could not find any thing more than that.