../
Assertion Generation
Random Notes
- 20260105T104937-meeting_prep
- 20260105T110941-chatgpt_cva6_verification_results
- 20260103T121341-assertionbench_recreation
- 2025-12-30
- 2025-12-29
- 20251226T142418-assertion_gen_daily.md
- 20251217T203157-jasper_gold_course
- 20251105T150422-weekly_summary
- 20251104T101903-how_to_augment_gpt_and_claude
- 20251102T153938-performance_of_claude
- 20251031T170504-signed_in_vs_signed_out
- 20251029T120120-llm_benchmarks
- 20251023T163724-llm_understanding_of_verilog
- 20251023T154256-comparison_of_metrics_used_based_on_rtl_usage
- 20251022T154218-llms_for_assertion_generation
- 20251019T140543-new_metrics
- 20251016T183351-harm
- 202510132227-building_harm