../
Assertion_gen
- chatgpt cva6 verification results
- meeting preparation
- cleanup and create own version of assertionbench
- state of the art assertion generators
- literature on the best way to gauge formal verification coverage
- 2025-12-30 assertion generation
- 20251229t105248
- 2025-12-26
- jasper gold course
- assertion generation
- summary of llm's verilog knowledge
- finetuning gpt and claude
- claude
- comparison of signing in vs signing out in chatgpt responses
- standard coding benchmarks for llms
- how well do llms understand verilog
- does having access to rtl change the metrics being used?
- llm's understanding of verilog, assertions and assertion generation
- possible metrics of ranking assertions
- harm: a hint-based assertion miner
- building harm