Cerebro-Solver

This repo corresponds to our paper named “SAT-Assisted High-Coverage Directed Testcase Generation Using LLM for Hardware Verification”

Name		Name	Last commit message	Last commit date
README.md		README.md
dut_code.txt		dut_code.txt
ibexcpu_SAT_output_T1-T3.txt		ibexcpu_SAT_output_T1-T3.txt
ibexcpu_SAT_output_T4-T6.txt		ibexcpu_SAT_output_T4-T6.txt
ibexcpu_SAT_output_T6-T7.txt		ibexcpu_SAT_output_T6-T7.txt
ibexcpu_bin_output_log.txt		ibexcpu_bin_output_log.txt
ibexcpu_coverage_convergence_comparison.pdf		ibexcpu_coverage_convergence_comparison.pdf
ibexcpu_testpoint_description.txt		ibexcpu_testpoint_description.txt
script_SAT2CNF.py		script_SAT2CNF.py
script_SAT_convertion.py		script_SAT_convertion.py
script_extraction_testpoint_to_bins.py		script_extraction_testpoint_to_bins.py
script_matrix.py		script_matrix.py
script_max_clique.py		script_max_clique.py
script_merge_constrain.py		script_merge_constrain.py
sd_bins_description.txt		sd_bins_description.txt
sd_tb_code.txt		sd_tb_code.txt

Navigation Menu