../
Assertion Generation
Implementation Notes
- 20260402T051917-sva_bench_impl
- 20260404T145632-sva_gen_lean_impl_notes
- 20260515T145312-vcd_parser
- 20260706T134622-svabench_test_designs_impl_moc
Notes
- 20260712T173802-meeting_with_kevin
- 20260711T134011-email_about_svagen_benchmark
- 20260709T142948-meeting_with_tommy
- 20260702T130821-meeting_with_tommy
- 20260701T100607-literature_survey
- 20260630T124459-meeting_with_tommy
- 20260625T140537-meeting_with_tommy
- 20260622T140236-how_to_construct_a_benchmark
- 20260622T133435-response_to_tommy
- 20260619T174248-assertion_generation_evaluation
- 20260618T110442-meeting_with_tommy
- 20260617T151315-svagenlean_conclusion
- 20260616T094122-general_flow
- 20260616T093122-combine_section5_6
- 20260611T105630-periscope_draft_ideas
- 20260609T160012-meeting
- 20260606T215306-iman_et_al_survey
- 20260605T154530-reference_searching
- 20260605T120620-current_cva6_verif
- 20260604T102204-meeting
- 20260528T132225-diff_after_no_res_no_filter
- 20260527T124615-notes
- 20260526T110032-meeting_with_kevin
- 20260525T162523-paper_reading_notes
- 20260521T120306-meeting_with_tommy
- 20260519T165748-verilator_setup
- 20260519T110518-meeting
- 20260513T134511-why_harm_doesnt_mine_proven_rules
- 20260512T185801-proven_rules_missed_by_harm
- 20260511T194430-diff_bw_harm_and_bps_counts_alone
- 20260511T192607-diff_bw_bps_and_harm
- 20260511T150318-meeting
- 20260511T012413-bps_summary_final
- 20260510T183223-execute_stage
- 20260510T115911-fmcad_status_meeting
- 20260509T202929-bps_id_stage
- 20260509T142334-bps_with_stage_split
- 20260423T120506-meeting_with_tommy
- 20260414T103006-meeting_with_brad
- 20260409T135101-meeting_with_tommy
- 20260408T193807-coverage_lit_survey
- 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