2025-10-21

All possible assertions cva6 teach using existing assertions

how to make LLm’s generate

huge amount of rules how to narrow down? how many can be statically verified

How to make use of disproven rules? can we condition it more to be true

Additional verifications

assertion generation first

ltl to automata string kernels

Look more into works with LLMs and assertion generation We are focusing more on generation of assertions based on the design rather than the intent of the designer