../

TODO

2026-02-02

  • Automatic creation of binding.sva files
    • iverilog processes everything into a single file
    • During compilation it outputs the top module. We can grep this
    • Then grep from module TOP_MODULE to find out the top module declaration
    • Jasper is able to find this. Should I use this?

2026-01-29

  • Figure out how to generate the binding.sva file automatically
  • Metrics should be outside JasperGold. Either the tool that we are using should be good enough to generate valuable assertions or they should be filtered to not waste jasper’s time
  • Difference between AssertLLM and our approach
  • Figure out related literature in the field of LLMs
    • Fine-tuning techniques
    • Dealing with scarce data
  • Script to evaluate LLama
  • SpotLTL
  • do a summary of kind of assertions generated by different tools
  • Summary of AI API pricings
  • Get a rough estimate of the number of tokens that it would cost
  • Search for good assertion dataset https://she-llac.com/claude-limits Claude Pro and pipe through the data vs using the SDK

2026-01-28

  • Replicate the AssertionForge testbench
  • Read assertionForge