../
Assertion Generation
Implementation Notes
Notes
- 20260414T103006-meeting_with_brad
- 20260409T135101-meeting_with_tommy
- 20260408T193807-email_summary
- 20260404T100736-coverage_literature_review
- 20260402T125921-meeting_with_tommy
- 20260402T043339-rule_mining_paper_review
- 20260331T105225-meeting_with_kevin
- 20260326T160128-meeting_with_tommy
- 20260323T175229-meeting_with_kevin
- 20260320T062159-meeting_with_tommy
- 20260224T110058-meeting_with_kevin
- 20260220T175455-meeting
- 20260217T075147-meeting
- 20260210T104825-meeting_prep
- 20260205T085614-sva_bench_impl_log
- 20260203T101848-meeting_notes
- 20260122T165130-slide_prep
- 20260121T174613-assertion_gen_daily
- TODO
- 20260120T074624-meeting_prep
- 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