├── .gitignore ├── LICENSE ├── Makefile.in ├── README.md ├── configure ├── configure.ac ├── count_failures.py ├── dataset_code-complete-iccad2023 ├── Prob001_zero_ifc.txt ├── Prob001_zero_prompt.txt ├── Prob001_zero_ref.sv ├── Prob001_zero_test.sv ├── Prob002_m2014_q4i_ifc.txt ├── Prob002_m2014_q4i_prompt.txt ├── Prob002_m2014_q4i_ref.sv ├── Prob002_m2014_q4i_test.sv ├── Prob003_step_one_ifc.txt ├── Prob003_step_one_prompt.txt ├── Prob003_step_one_ref.sv ├── Prob003_step_one_test.sv ├── Prob004_vector2_ifc.txt ├── Prob004_vector2_prompt.txt ├── Prob004_vector2_ref.sv ├── Prob004_vector2_test.sv ├── Prob005_notgate_ifc.txt ├── Prob005_notgate_prompt.txt ├── Prob005_notgate_ref.sv ├── Prob005_notgate_test.sv ├── Prob006_vectorr_ifc.txt ├── Prob006_vectorr_prompt.txt ├── Prob006_vectorr_ref.sv ├── Prob006_vectorr_test.sv ├── Prob007_wire_ifc.txt ├── Prob007_wire_prompt.txt ├── Prob007_wire_ref.sv ├── Prob007_wire_test.sv ├── Prob008_m2014_q4h_ifc.txt ├── Prob008_m2014_q4h_prompt.txt ├── Prob008_m2014_q4h_ref.sv ├── Prob008_m2014_q4h_test.sv ├── Prob009_popcount3_ifc.txt ├── Prob009_popcount3_prompt.txt ├── Prob009_popcount3_ref.sv ├── Prob009_popcount3_test.sv ├── Prob010_mt2015_q4a_ifc.txt ├── Prob010_mt2015_q4a_prompt.txt ├── Prob010_mt2015_q4a_ref.sv ├── Prob010_mt2015_q4a_test.sv ├── Prob011_norgate_ifc.txt ├── Prob011_norgate_prompt.txt ├── Prob011_norgate_ref.sv ├── Prob011_norgate_test.sv ├── Prob012_xnorgate_ifc.txt ├── Prob012_xnorgate_prompt.txt ├── Prob012_xnorgate_ref.sv ├── Prob012_xnorgate_test.sv ├── Prob013_m2014_q4e_ifc.txt ├── Prob013_m2014_q4e_prompt.txt ├── Prob013_m2014_q4e_ref.sv ├── Prob013_m2014_q4e_test.sv ├── Prob014_andgate_ifc.txt ├── Prob014_andgate_prompt.txt ├── Prob014_andgate_ref.sv ├── Prob014_andgate_test.sv ├── Prob015_vector1_ifc.txt ├── Prob015_vector1_prompt.txt ├── Prob015_vector1_ref.sv ├── Prob015_vector1_test.sv ├── Prob016_m2014_q4j_ifc.txt ├── Prob016_m2014_q4j_prompt.txt ├── Prob016_m2014_q4j_ref.sv ├── Prob016_m2014_q4j_test.sv ├── Prob017_mux2to1v_ifc.txt ├── Prob017_mux2to1v_prompt.txt ├── Prob017_mux2to1v_ref.sv ├── Prob017_mux2to1v_test.sv ├── Prob018_mux256to1_ifc.txt ├── Prob018_mux256to1_prompt.txt ├── Prob018_mux256to1_ref.sv ├── Prob018_mux256to1_test.sv ├── Prob019_m2014_q4f_ifc.txt ├── Prob019_m2014_q4f_prompt.txt ├── Prob019_m2014_q4f_ref.sv ├── Prob019_m2014_q4f_test.sv ├── Prob020_mt2015_eq2_ifc.txt ├── Prob020_mt2015_eq2_prompt.txt ├── Prob020_mt2015_eq2_ref.sv ├── Prob020_mt2015_eq2_test.sv ├── Prob021_mux256to1v_ifc.txt ├── Prob021_mux256to1v_prompt.txt ├── Prob021_mux256to1v_ref.sv ├── Prob021_mux256to1v_test.sv ├── Prob022_mux2to1_ifc.txt ├── Prob022_mux2to1_prompt.txt ├── Prob022_mux2to1_ref.sv ├── Prob022_mux2to1_test.sv ├── Prob023_vector100r_ifc.txt ├── Prob023_vector100r_prompt.txt ├── Prob023_vector100r_ref.sv ├── Prob023_vector100r_test.sv ├── Prob024_hadd_ifc.txt ├── Prob024_hadd_prompt.txt ├── Prob024_hadd_ref.sv ├── Prob024_hadd_test.sv ├── Prob025_reduction_ifc.txt ├── Prob025_reduction_prompt.txt ├── Prob025_reduction_ref.sv ├── Prob025_reduction_test.sv ├── Prob026_alwaysblock1_ifc.txt ├── Prob026_alwaysblock1_prompt.txt ├── Prob026_alwaysblock1_ref.sv ├── Prob026_alwaysblock1_test.sv ├── Prob027_fadd_ifc.txt ├── Prob027_fadd_prompt.txt ├── Prob027_fadd_ref.sv ├── Prob027_fadd_test.sv ├── Prob028_m2014_q4a_ifc.txt ├── Prob028_m2014_q4a_prompt.txt ├── Prob028_m2014_q4a_ref.sv ├── Prob028_m2014_q4a_test.sv ├── Prob029_m2014_q4g_ifc.txt ├── Prob029_m2014_q4g_prompt.txt ├── Prob029_m2014_q4g_ref.sv ├── Prob029_m2014_q4g_test.sv ├── Prob030_popcount255_ifc.txt ├── Prob030_popcount255_prompt.txt ├── Prob030_popcount255_ref.sv ├── Prob030_popcount255_test.sv ├── Prob031_dff_ifc.txt ├── Prob031_dff_prompt.txt ├── Prob031_dff_ref.sv ├── Prob031_dff_test.sv ├── Prob032_vector0_ifc.txt ├── Prob032_vector0_prompt.txt ├── Prob032_vector0_ref.sv ├── Prob032_vector0_test.sv ├── Prob033_ece241_2014_q1c_ifc.txt ├── Prob033_ece241_2014_q1c_prompt.txt ├── Prob033_ece241_2014_q1c_ref.sv ├── Prob033_ece241_2014_q1c_test.sv ├── Prob034_dff8_ifc.txt ├── Prob034_dff8_prompt.txt ├── Prob034_dff8_ref.sv ├── Prob034_dff8_test.sv ├── Prob035_count1to10_ifc.txt ├── Prob035_count1to10_prompt.txt ├── Prob035_count1to10_ref.sv ├── Prob035_count1to10_test.sv ├── Prob036_ringer_ifc.txt ├── Prob036_ringer_prompt.txt ├── Prob036_ringer_ref.sv ├── Prob036_ringer_test.sv ├── Prob037_review2015_count1k_ifc.txt ├── Prob037_review2015_count1k_prompt.txt ├── Prob037_review2015_count1k_ref.sv ├── Prob037_review2015_count1k_test.sv ├── Prob038_count15_ifc.txt ├── Prob038_count15_prompt.txt ├── Prob038_count15_ref.sv ├── Prob038_count15_test.sv ├── Prob039_always_if_ifc.txt ├── Prob039_always_if_prompt.txt ├── Prob039_always_if_ref.sv ├── Prob039_always_if_test.sv ├── Prob040_count10_ifc.txt ├── Prob040_count10_prompt.txt ├── Prob040_count10_ref.sv ├── Prob040_count10_test.sv ├── Prob041_dff8r_ifc.txt ├── Prob041_dff8r_prompt.txt ├── Prob041_dff8r_ref.sv ├── Prob041_dff8r_test.sv ├── Prob042_vector4_ifc.txt ├── Prob042_vector4_prompt.txt ├── Prob042_vector4_ref.sv ├── Prob042_vector4_test.sv ├── Prob043_vector5_ifc.txt ├── Prob043_vector5_prompt.txt ├── Prob043_vector5_ref.sv ├── Prob043_vector5_test.sv ├── Prob044_vectorgates_ifc.txt ├── Prob044_vectorgates_prompt.txt ├── Prob044_vectorgates_ref.sv ├── Prob044_vectorgates_test.sv ├── Prob045_edgedetect2_ifc.txt ├── Prob045_edgedetect2_prompt.txt ├── Prob045_edgedetect2_ref.sv ├── Prob045_edgedetect2_test.sv ├── Prob046_dff8p_ifc.txt ├── Prob046_dff8p_prompt.txt ├── Prob046_dff8p_ref.sv ├── Prob046_dff8p_test.sv ├── Prob047_dff8ar_ifc.txt ├── Prob047_dff8ar_prompt.txt ├── Prob047_dff8ar_ref.sv ├── Prob047_dff8ar_test.sv ├── Prob048_m2014_q4c_ifc.txt ├── Prob048_m2014_q4c_prompt.txt ├── Prob048_m2014_q4c_ref.sv ├── Prob048_m2014_q4c_test.sv ├── Prob049_m2014_q4b_ifc.txt ├── Prob049_m2014_q4b_prompt.txt ├── Prob049_m2014_q4b_ref.sv ├── Prob049_m2014_q4b_test.sv ├── Prob050_kmap1_ifc.txt ├── Prob050_kmap1_prompt.txt ├── Prob050_kmap1_ref.sv ├── Prob050_kmap1_test.sv ├── Prob051_gates4_ifc.txt ├── Prob051_gates4_prompt.txt ├── Prob051_gates4_ref.sv ├── Prob051_gates4_test.sv ├── Prob052_gates100_ifc.txt ├── Prob052_gates100_prompt.txt ├── Prob052_gates100_ref.sv ├── Prob052_gates100_test.sv ├── Prob053_m2014_q4d_ifc.txt ├── Prob053_m2014_q4d_prompt.txt ├── Prob053_m2014_q4d_ref.sv ├── Prob053_m2014_q4d_test.sv ├── Prob054_edgedetect_ifc.txt ├── Prob054_edgedetect_prompt.txt ├── Prob054_edgedetect_ref.sv ├── Prob054_edgedetect_test.sv ├── Prob055_conditional_ifc.txt ├── Prob055_conditional_prompt.txt ├── Prob055_conditional_ref.sv ├── Prob055_conditional_test.sv ├── Prob056_ece241_2013_q7_ifc.txt ├── Prob056_ece241_2013_q7_prompt.txt ├── Prob056_ece241_2013_q7_ref.sv ├── Prob056_ece241_2013_q7_test.sv ├── Prob057_kmap2_ifc.txt ├── Prob057_kmap2_prompt.txt ├── Prob057_kmap2_ref.sv ├── Prob057_kmap2_test.sv ├── Prob058_alwaysblock2_ifc.txt ├── Prob058_alwaysblock2_prompt.txt ├── Prob058_alwaysblock2_ref.sv ├── Prob058_alwaysblock2_test.sv ├── Prob059_wire4_ifc.txt ├── Prob059_wire4_prompt.txt ├── Prob059_wire4_ref.sv ├── Prob059_wire4_test.sv ├── Prob060_m2014_q4k_ifc.txt ├── Prob060_m2014_q4k_prompt.txt ├── Prob060_m2014_q4k_ref.sv ├── Prob060_m2014_q4k_test.sv ├── Prob061_2014_q4a_ifc.txt ├── Prob061_2014_q4a_prompt.txt ├── Prob061_2014_q4a_ref.sv ├── Prob061_2014_q4a_test.sv ├── Prob062_bugs_mux2.sv ├── Prob062_bugs_mux2_ifc.txt ├── Prob062_bugs_mux2_prompt.txt ├── Prob062_bugs_mux2_ref.sv ├── Prob062_bugs_mux2_test.sv ├── Prob063_review2015_shiftcount_ifc.txt ├── Prob063_review2015_shiftcount_prompt.txt ├── Prob063_review2015_shiftcount_ref.sv ├── Prob063_review2015_shiftcount_test.sv ├── Prob064_vector3_ifc.txt ├── Prob064_vector3_prompt.txt ├── Prob064_vector3_ref.sv ├── Prob064_vector3_test.sv ├── Prob065_7420_ifc.txt ├── Prob065_7420_prompt.txt ├── Prob065_7420_ref.sv ├── Prob065_7420_test.sv ├── Prob066_edgecapture_ifc.txt ├── Prob066_edgecapture_prompt.txt ├── Prob066_edgecapture_ref.sv ├── Prob066_edgecapture_test.sv ├── Prob067_countslow_ifc.txt ├── Prob067_countslow_prompt.txt ├── Prob067_countslow_ref.sv ├── Prob067_countslow_test.sv ├── Prob068_countbcd_ifc.txt ├── Prob068_countbcd_prompt.txt ├── Prob068_countbcd_ref.sv ├── Prob068_countbcd_test.sv ├── Prob069_truthtable1_ifc.txt ├── Prob069_truthtable1_prompt.txt ├── Prob069_truthtable1_ref.sv ├── Prob069_truthtable1_test.sv ├── Prob070_ece241_2013_q2_ifc.txt ├── Prob070_ece241_2013_q2_prompt.txt ├── Prob070_ece241_2013_q2_ref.sv ├── Prob070_ece241_2013_q2_test.sv ├── Prob071_always_casez_ifc.txt ├── Prob071_always_casez_prompt.txt ├── Prob071_always_casez_ref.sv ├── Prob071_always_casez_test.sv ├── Prob072_thermostat_ifc.txt ├── Prob072_thermostat_prompt.txt ├── Prob072_thermostat_ref.sv ├── Prob072_thermostat_test.sv ├── Prob073_dff16e_ifc.txt ├── Prob073_dff16e_prompt.txt ├── Prob073_dff16e_ref.sv ├── Prob073_dff16e_test.sv ├── Prob074_ece241_2014_q4_ifc.txt ├── Prob074_ece241_2014_q4_prompt.txt ├── Prob074_ece241_2014_q4_ref.sv ├── Prob074_ece241_2014_q4_test.sv ├── Prob075_counter_2bc_ifc.txt ├── Prob075_counter_2bc_prompt.txt ├── Prob075_counter_2bc_ref.sv ├── Prob075_counter_2bc_test.sv ├── Prob076_always_case_ifc.txt ├── Prob076_always_case_prompt.txt ├── Prob076_always_case_ref.sv ├── Prob076_always_case_test.sv ├── Prob077_wire_decl_ifc.txt ├── Prob077_wire_decl_prompt.txt ├── Prob077_wire_decl_ref.sv ├── Prob077_wire_decl_test.sv ├── Prob078_dualedge_ifc.txt ├── Prob078_dualedge_prompt.txt ├── Prob078_dualedge_ref.sv ├── Prob078_dualedge_test.sv ├── Prob079_fsm3onehot_ifc.txt ├── Prob079_fsm3onehot_prompt.txt ├── Prob079_fsm3onehot_ref.sv ├── Prob079_fsm3onehot_test.sv ├── Prob080_timer_ifc.txt ├── Prob080_timer_prompt.txt ├── Prob080_timer_ref.sv ├── Prob080_timer_test.sv ├── Prob081_7458_ifc.txt ├── Prob081_7458_prompt.txt ├── Prob081_7458_ref.sv ├── Prob081_7458_test.sv ├── Prob082_lfsr32_ifc.txt ├── Prob082_lfsr32_prompt.txt ├── Prob082_lfsr32_ref.sv ├── Prob082_lfsr32_test.sv ├── Prob083_mt2015_q4b_ifc.txt ├── Prob083_mt2015_q4b_prompt.txt ├── Prob083_mt2015_q4b_ref.sv ├── Prob083_mt2015_q4b_test.sv ├── Prob084_ece241_2013_q12_ifc.txt ├── Prob084_ece241_2013_q12_prompt.txt ├── Prob084_ece241_2013_q12_ref.sv ├── Prob084_ece241_2013_q12_test.sv ├── Prob085_shift4_ifc.txt ├── Prob085_shift4_prompt.txt ├── Prob085_shift4_ref.sv ├── Prob085_shift4_test.sv ├── Prob086_lfsr5_ifc.txt ├── Prob086_lfsr5_prompt.txt ├── Prob086_lfsr5_ref.sv ├── Prob086_lfsr5_test.sv ├── Prob087_gates_ifc.txt ├── Prob087_gates_prompt.txt ├── Prob087_gates_ref.sv ├── Prob087_gates_test.sv ├── Prob088_ece241_2014_q5b_ifc.txt ├── Prob088_ece241_2014_q5b_prompt.txt ├── Prob088_ece241_2014_q5b_ref.sv ├── Prob088_ece241_2014_q5b_test.sv ├── Prob089_ece241_2014_q5a_ifc.txt ├── Prob089_ece241_2014_q5a_prompt.txt ├── Prob089_ece241_2014_q5a_ref.sv ├── Prob089_ece241_2014_q5a_test.sv ├── Prob090_circuit1_ifc.txt ├── Prob090_circuit1_prompt.txt ├── Prob090_circuit1_ref.sv ├── Prob090_circuit1_test.sv ├── Prob091_2012_q2b_ifc.txt ├── Prob091_2012_q2b_prompt.txt ├── Prob091_2012_q2b_ref.sv ├── Prob091_2012_q2b_test.sv ├── Prob092_gatesv100_ifc.txt ├── Prob092_gatesv100_prompt.txt ├── Prob092_gatesv100_ref.sv ├── Prob092_gatesv100_test.sv ├── Prob093_ece241_2014_q3_ifc.txt ├── Prob093_ece241_2014_q3_prompt.txt ├── Prob093_ece241_2014_q3_ref.sv ├── Prob093_ece241_2014_q3_test.sv ├── Prob094_gatesv_ifc.txt ├── Prob094_gatesv_prompt.txt ├── Prob094_gatesv_ref.sv ├── Prob094_gatesv_test.sv ├── Prob095_review2015_fsmshift_ifc.txt ├── Prob095_review2015_fsmshift_prompt.txt ├── Prob095_review2015_fsmshift_ref.sv ├── Prob095_review2015_fsmshift_test.sv ├── Prob096_review2015_fsmseq_ifc.txt ├── Prob096_review2015_fsmseq_prompt.txt ├── Prob096_review2015_fsmseq_ref.sv ├── Prob096_review2015_fsmseq_test.sv ├── Prob097_mux9to1v_ifc.txt ├── Prob097_mux9to1v_prompt.txt ├── Prob097_mux9to1v_ref.sv ├── Prob097_mux9to1v_test.sv ├── Prob098_circuit7_ifc.txt ├── Prob098_circuit7_prompt.txt ├── Prob098_circuit7_ref.sv ├── Prob098_circuit7_test.sv ├── Prob099_m2014_q6c_ifc.txt ├── Prob099_m2014_q6c_prompt.txt ├── Prob099_m2014_q6c_ref.sv ├── Prob099_m2014_q6c_test.sv ├── Prob100_fsm3comb_ifc.txt ├── Prob100_fsm3comb_prompt.txt ├── Prob100_fsm3comb_ref.sv ├── Prob100_fsm3comb_test.sv ├── Prob101_circuit4_ifc.txt ├── Prob101_circuit4_prompt.txt ├── Prob101_circuit4_ref.sv ├── Prob101_circuit4_test.sv ├── Prob102_circuit3_ifc.txt ├── Prob102_circuit3_prompt.txt ├── Prob102_circuit3_ref.sv ├── Prob102_circuit3_test.sv ├── Prob103_circuit2_ifc.txt ├── Prob103_circuit2_prompt.txt ├── Prob103_circuit2_ref.sv ├── Prob103_circuit2_test.sv ├── Prob104_mt2015_muxdff_ifc.txt ├── Prob104_mt2015_muxdff_prompt.txt ├── Prob104_mt2015_muxdff_ref.sv ├── Prob104_mt2015_muxdff_test.sv ├── Prob105_rotate100_ifc.txt ├── Prob105_rotate100_prompt.txt ├── Prob105_rotate100_ref.sv ├── Prob105_rotate100_test.sv ├── Prob106_always_nolatches_ifc.txt ├── Prob106_always_nolatches_prompt.txt ├── Prob106_always_nolatches_ref.sv ├── Prob106_always_nolatches_test.sv ├── Prob107_fsm1s_ifc.txt ├── Prob107_fsm1s_prompt.txt ├── Prob107_fsm1s_ref.sv ├── Prob107_fsm1s_test.sv ├── Prob108_rule90_ifc.txt ├── Prob108_rule90_prompt.txt ├── Prob108_rule90_ref.sv ├── Prob108_rule90_test.sv ├── Prob109_fsm1_ifc.txt ├── Prob109_fsm1_prompt.txt ├── Prob109_fsm1_ref.sv ├── Prob109_fsm1_test.sv ├── Prob110_fsm2_ifc.txt ├── Prob110_fsm2_prompt.txt ├── Prob110_fsm2_ref.sv ├── Prob110_fsm2_test.sv ├── Prob111_fsm2s_ifc.txt ├── Prob111_fsm2s_prompt.txt ├── Prob111_fsm2s_ref.sv ├── Prob111_fsm2s_test.sv ├── Prob112_always_case2_ifc.txt ├── Prob112_always_case2_prompt.txt ├── Prob112_always_case2_ref.sv ├── Prob112_always_case2_test.sv ├── Prob113_2012_q1g_ifc.txt ├── Prob113_2012_q1g_prompt.txt ├── Prob113_2012_q1g_ref.sv ├── Prob113_2012_q1g_test.sv ├── Prob114_bugs_case_ifc.txt ├── Prob114_bugs_case_prompt.txt ├── Prob114_bugs_case_ref.sv ├── Prob114_bugs_case_test.sv ├── Prob115_shift18_ifc.txt ├── Prob115_shift18_prompt.txt ├── Prob115_shift18_ref.sv ├── Prob115_shift18_test.sv ├── Prob116_m2014_q3_ifc.txt ├── Prob116_m2014_q3_prompt.txt ├── Prob116_m2014_q3_ref.sv ├── Prob116_m2014_q3_test.sv ├── Prob117_circuit9_ifc.txt ├── Prob117_circuit9_prompt.txt ├── Prob117_circuit9_ref.sv ├── Prob117_circuit9_test.sv ├── Prob118_history_shift_ifc.txt ├── Prob118_history_shift_prompt.txt ├── Prob118_history_shift_ref.sv ├── Prob118_history_shift_test.sv ├── Prob119_fsm3_ifc.txt ├── Prob119_fsm3_prompt.txt ├── Prob119_fsm3_ref.sv ├── Prob119_fsm3_test.sv ├── Prob120_fsm3s_ifc.txt ├── Prob120_fsm3s_prompt.txt ├── Prob120_fsm3s_ref.sv ├── Prob120_fsm3s_test.sv ├── Prob121_2014_q3bfsm_ifc.txt ├── Prob121_2014_q3bfsm_prompt.txt ├── Prob121_2014_q3bfsm_ref.sv ├── Prob121_2014_q3bfsm_test.sv ├── Prob122_kmap4_ifc.txt ├── Prob122_kmap4_prompt.txt ├── Prob122_kmap4_ref.sv ├── Prob122_kmap4_test.sv ├── Prob123_bugs_addsubz_ifc.txt ├── Prob123_bugs_addsubz_prompt.txt ├── Prob123_bugs_addsubz_ref.sv ├── Prob123_bugs_addsubz_test.sv ├── Prob124_rule110_ifc.txt ├── Prob124_rule110_prompt.txt ├── Prob124_rule110_ref.sv ├── Prob124_rule110_test.sv ├── Prob125_kmap3_ifc.txt ├── Prob125_kmap3_prompt.txt ├── Prob125_kmap3_ref.sv ├── Prob125_kmap3_test.sv ├── Prob126_circuit6_ifc.txt ├── Prob126_circuit6_prompt.txt ├── Prob126_circuit6_ref.sv ├── Prob126_circuit6_test.sv ├── Prob127_lemmings1_ifc.txt ├── Prob127_lemmings1_prompt.txt ├── Prob127_lemmings1_ref.sv ├── Prob127_lemmings1_test.sv ├── Prob128_fsm_ps2_ifc.txt ├── Prob128_fsm_ps2_prompt.txt ├── Prob128_fsm_ps2_ref.sv ├── Prob128_fsm_ps2_test.sv ├── Prob129_ece241_2013_q8_ifc.txt ├── Prob129_ece241_2013_q8_prompt.txt ├── Prob129_ece241_2013_q8_ref.sv ├── Prob129_ece241_2013_q8_test.sv ├── Prob130_circuit5_ifc.txt ├── Prob130_circuit5_prompt.txt ├── Prob130_circuit5_ref.sv ├── Prob130_circuit5_test.sv ├── Prob131_mt2015_q4_ifc.txt ├── Prob131_mt2015_q4_prompt.txt ├── Prob131_mt2015_q4_ref.sv ├── Prob131_mt2015_q4_test.sv ├── Prob132_always_if2_ifc.txt ├── Prob132_always_if2_prompt.txt ├── Prob132_always_if2_ref.sv ├── Prob132_always_if2_test.sv ├── Prob133_2014_q3fsm_ifc.txt ├── Prob133_2014_q3fsm_prompt.txt ├── Prob133_2014_q3fsm_ref.sv ├── Prob133_2014_q3fsm_test.sv ├── Prob134_2014_q3c_ifc.txt ├── Prob134_2014_q3c_prompt.txt ├── Prob134_2014_q3c_ref.sv ├── Prob134_2014_q3c_test.sv ├── Prob135_m2014_q6b_ifc.txt ├── Prob135_m2014_q6b_prompt.txt ├── Prob135_m2014_q6b_ref.sv ├── Prob135_m2014_q6b_test.sv ├── Prob136_m2014_q6_ifc.txt ├── Prob136_m2014_q6_prompt.txt ├── Prob136_m2014_q6_ref.sv ├── Prob136_m2014_q6_test.sv ├── Prob137_fsm_serial_ifc.txt ├── Prob137_fsm_serial_prompt.txt ├── Prob137_fsm_serial_ref.sv ├── Prob137_fsm_serial_test.sv ├── Prob138_2012_q2fsm_ifc.txt ├── Prob138_2012_q2fsm_prompt.txt ├── Prob138_2012_q2fsm_ref.sv ├── Prob138_2012_q2fsm_test.sv ├── Prob139_2013_q2bfsm_ifc.txt ├── Prob139_2013_q2bfsm_prompt.txt ├── Prob139_2013_q2bfsm_ref.sv ├── Prob139_2013_q2bfsm_test.sv ├── Prob140_fsm_hdlc_ifc.txt ├── Prob140_fsm_hdlc_prompt.txt ├── Prob140_fsm_hdlc_ref.sv ├── Prob140_fsm_hdlc_test.sv ├── Prob141_count_clock_ifc.txt ├── Prob141_count_clock_prompt.txt ├── Prob141_count_clock_ref.sv ├── Prob141_count_clock_test.sv ├── Prob142_lemmings2_ifc.txt ├── Prob142_lemmings2_prompt.txt ├── Prob142_lemmings2_ref.sv ├── Prob142_lemmings2_test.sv ├── Prob143_fsm_onehot_ifc.txt ├── Prob143_fsm_onehot_prompt.txt ├── Prob143_fsm_onehot_ref.sv ├── Prob143_fsm_onehot_test.sv ├── Prob144_conwaylife_ifc.txt ├── Prob144_conwaylife_prompt.txt ├── Prob144_conwaylife_ref.sv ├── Prob144_conwaylife_test.sv ├── Prob145_circuit8_ifc.txt ├── Prob145_circuit8_prompt.txt ├── Prob145_circuit8_ref.sv ├── Prob145_circuit8_test.sv ├── Prob146_fsm_serialdata_ifc.txt ├── Prob146_fsm_serialdata_prompt.txt ├── Prob146_fsm_serialdata_ref.sv ├── Prob146_fsm_serialdata_test.sv ├── Prob147_circuit10_ifc.txt ├── Prob147_circuit10_prompt.txt ├── Prob147_circuit10_ref.sv ├── Prob147_circuit10_test.sv ├── Prob148_2013_q2afsm_ifc.txt ├── Prob148_2013_q2afsm_prompt.txt ├── Prob148_2013_q2afsm_ref.sv ├── Prob148_2013_q2afsm_test.sv ├── Prob149_ece241_2013_q4_ifc.txt ├── Prob149_ece241_2013_q4_prompt.txt ├── Prob149_ece241_2013_q4_ref.sv ├── Prob149_ece241_2013_q4_test.sv ├── Prob150_review2015_fsmonehot_ifc.txt ├── Prob150_review2015_fsmonehot_prompt.txt ├── Prob150_review2015_fsmonehot_ref.sv ├── Prob150_review2015_fsmonehot_test.sv ├── Prob151_review2015_fsm_ifc.txt ├── Prob151_review2015_fsm_prompt.txt ├── Prob151_review2015_fsm_ref.sv ├── Prob151_review2015_fsm_test.sv ├── Prob152_lemmings3_ifc.txt ├── Prob152_lemmings3_prompt.txt ├── Prob152_lemmings3_ref.sv ├── Prob152_lemmings3_test.sv ├── Prob153_gshare_ifc.txt ├── Prob153_gshare_prompt.txt ├── Prob153_gshare_ref.sv ├── Prob153_gshare_test.sv ├── Prob154_fsm_ps2data_ifc.txt ├── Prob154_fsm_ps2data_prompt.txt ├── Prob154_fsm_ps2data_ref.sv ├── Prob154_fsm_ps2data_test.sv ├── Prob155_lemmings4_ifc.txt ├── Prob155_lemmings4_prompt.txt ├── Prob155_lemmings4_ref.sv ├── Prob155_lemmings4_test.sv ├── Prob156_review2015_fancytimer_ifc.txt ├── Prob156_review2015_fancytimer_prompt.txt ├── Prob156_review2015_fancytimer_ref.sv ├── Prob156_review2015_fancytimer_test.sv └── problems.txt ├── dataset_spec-to-rtl ├── Prob001_zero_prompt.txt ├── Prob001_zero_ref.sv ├── Prob001_zero_test.sv ├── Prob002_m2014_q4i_prompt.txt ├── Prob002_m2014_q4i_ref.sv ├── Prob002_m2014_q4i_test.sv ├── Prob003_step_one_prompt.txt ├── Prob003_step_one_ref.sv ├── Prob003_step_one_test.sv ├── Prob004_vector2_prompt.txt ├── Prob004_vector2_ref.sv ├── Prob004_vector2_test.sv ├── Prob005_notgate_prompt.txt ├── Prob005_notgate_ref.sv ├── Prob005_notgate_test.sv ├── Prob006_vectorr_prompt.txt ├── Prob006_vectorr_ref.sv ├── Prob006_vectorr_test.sv ├── Prob007_wire_prompt.txt ├── Prob007_wire_ref.sv ├── Prob007_wire_test.sv ├── Prob008_m2014_q4h_prompt.txt ├── Prob008_m2014_q4h_ref.sv ├── Prob008_m2014_q4h_test.sv ├── Prob009_popcount3_prompt.txt ├── Prob009_popcount3_ref.sv ├── Prob009_popcount3_test.sv ├── Prob010_mt2015_q4a_prompt.txt ├── Prob010_mt2015_q4a_ref.sv ├── Prob010_mt2015_q4a_test.sv ├── Prob011_norgate_prompt.txt ├── Prob011_norgate_ref.sv ├── Prob011_norgate_test.sv ├── Prob012_xnorgate_prompt.txt ├── Prob012_xnorgate_ref.sv ├── Prob012_xnorgate_test.sv ├── Prob013_m2014_q4e_prompt.txt ├── Prob013_m2014_q4e_ref.sv ├── Prob013_m2014_q4e_test.sv ├── Prob014_andgate_prompt.txt ├── Prob014_andgate_ref.sv ├── Prob014_andgate_test.sv ├── Prob015_vector1_prompt.txt ├── Prob015_vector1_ref.sv ├── Prob015_vector1_test.sv ├── Prob016_m2014_q4j_prompt.txt ├── Prob016_m2014_q4j_ref.sv ├── Prob016_m2014_q4j_test.sv ├── Prob017_mux2to1v_prompt.txt ├── Prob017_mux2to1v_ref.sv ├── Prob017_mux2to1v_test.sv ├── Prob018_mux256to1_prompt.txt ├── Prob018_mux256to1_ref.sv ├── Prob018_mux256to1_test.sv ├── Prob019_m2014_q4f_prompt.txt ├── Prob019_m2014_q4f_ref.sv ├── Prob019_m2014_q4f_test.sv ├── Prob020_mt2015_eq2_prompt.txt ├── Prob020_mt2015_eq2_ref.sv ├── Prob020_mt2015_eq2_test.sv ├── Prob021_mux256to1v_prompt.txt ├── Prob021_mux256to1v_ref.sv ├── Prob021_mux256to1v_test.sv ├── Prob022_mux2to1_prompt.txt ├── Prob022_mux2to1_ref.sv ├── Prob022_mux2to1_test.sv ├── Prob023_vector100r_prompt.txt ├── Prob023_vector100r_ref.sv ├── Prob023_vector100r_test.sv ├── Prob024_hadd_prompt.txt ├── Prob024_hadd_ref.sv ├── Prob024_hadd_test.sv ├── Prob025_reduction_prompt.txt ├── Prob025_reduction_ref.sv ├── Prob025_reduction_test.sv ├── Prob026_alwaysblock1_prompt.txt ├── Prob026_alwaysblock1_ref.sv ├── Prob026_alwaysblock1_test.sv ├── Prob027_fadd_prompt.txt ├── Prob027_fadd_ref.sv ├── Prob027_fadd_test.sv ├── Prob028_m2014_q4a_prompt.txt ├── Prob028_m2014_q4a_ref.sv ├── Prob028_m2014_q4a_test.sv ├── Prob029_m2014_q4g_prompt.txt ├── Prob029_m2014_q4g_ref.sv ├── Prob029_m2014_q4g_test.sv ├── Prob030_popcount255_prompt.txt ├── Prob030_popcount255_ref.sv ├── Prob030_popcount255_test.sv ├── Prob031_dff_prompt.txt ├── Prob031_dff_ref.sv ├── Prob031_dff_test.sv ├── Prob032_vector0_prompt.txt ├── Prob032_vector0_ref.sv ├── Prob032_vector0_test.sv ├── Prob033_ece241_2014_q1c_prompt.txt ├── Prob033_ece241_2014_q1c_ref.sv ├── Prob033_ece241_2014_q1c_test.sv ├── Prob034_dff8_prompt.txt ├── Prob034_dff8_ref.sv ├── Prob034_dff8_test.sv ├── Prob035_count1to10_prompt.txt ├── Prob035_count1to10_ref.sv ├── Prob035_count1to10_test.sv ├── Prob036_ringer_prompt.txt ├── Prob036_ringer_ref.sv ├── Prob036_ringer_test.sv ├── Prob037_review2015_count1k_prompt.txt ├── Prob037_review2015_count1k_ref.sv ├── Prob037_review2015_count1k_test.sv ├── Prob038_count15_prompt.txt ├── Prob038_count15_ref.sv ├── Prob038_count15_test.sv ├── Prob039_always_if_prompt.txt ├── Prob039_always_if_ref.sv ├── Prob039_always_if_test.sv ├── Prob040_count10_prompt.txt ├── Prob040_count10_ref.sv ├── Prob040_count10_test.sv ├── Prob041_dff8r_prompt.txt ├── Prob041_dff8r_ref.sv ├── Prob041_dff8r_test.sv ├── Prob042_vector4_prompt.txt ├── Prob042_vector4_ref.sv ├── Prob042_vector4_test.sv ├── Prob043_vector5_prompt.txt ├── Prob043_vector5_ref.sv ├── Prob043_vector5_test.sv ├── Prob044_vectorgates_prompt.txt ├── Prob044_vectorgates_ref.sv ├── Prob044_vectorgates_test.sv ├── Prob045_edgedetect2_prompt.txt ├── Prob045_edgedetect2_ref.sv ├── Prob045_edgedetect2_test.sv ├── Prob046_dff8p_prompt.txt ├── Prob046_dff8p_ref.sv ├── Prob046_dff8p_test.sv ├── Prob047_dff8ar_prompt.txt ├── Prob047_dff8ar_ref.sv ├── Prob047_dff8ar_test.sv ├── Prob048_m2014_q4c_prompt.txt ├── Prob048_m2014_q4c_ref.sv ├── Prob048_m2014_q4c_test.sv ├── Prob049_m2014_q4b_prompt.txt ├── Prob049_m2014_q4b_ref.sv ├── Prob049_m2014_q4b_test.sv ├── Prob050_kmap1_prompt.txt ├── Prob050_kmap1_ref.sv ├── Prob050_kmap1_test.sv ├── Prob051_gates4_prompt.txt ├── Prob051_gates4_ref.sv ├── Prob051_gates4_test.sv ├── Prob052_gates100_prompt.txt ├── Prob052_gates100_ref.sv ├── Prob052_gates100_test.sv ├── Prob053_m2014_q4d_prompt.txt ├── Prob053_m2014_q4d_ref.sv ├── Prob053_m2014_q4d_test.sv ├── Prob054_edgedetect_prompt.txt ├── Prob054_edgedetect_ref.sv ├── Prob054_edgedetect_test.sv ├── Prob055_conditional_prompt.txt ├── Prob055_conditional_ref.sv ├── Prob055_conditional_test.sv ├── Prob056_ece241_2013_q7_prompt.txt ├── Prob056_ece241_2013_q7_ref.sv ├── Prob056_ece241_2013_q7_test.sv ├── Prob057_kmap2_prompt.txt ├── Prob057_kmap2_ref.sv ├── Prob057_kmap2_test.sv ├── Prob058_alwaysblock2_prompt.txt ├── Prob058_alwaysblock2_ref.sv ├── Prob058_alwaysblock2_test.sv ├── Prob059_wire4_prompt.txt ├── Prob059_wire4_ref.sv ├── Prob059_wire4_test.sv ├── Prob060_m2014_q4k_prompt.txt ├── Prob060_m2014_q4k_ref.sv ├── Prob060_m2014_q4k_test.sv ├── Prob061_2014_q4a_prompt.txt ├── Prob061_2014_q4a_ref.sv ├── Prob061_2014_q4a_test.sv ├── Prob062_bugs_mux2.sv ├── Prob062_bugs_mux2_prompt.txt ├── Prob062_bugs_mux2_ref.sv ├── Prob062_bugs_mux2_test.sv ├── Prob063_review2015_shiftcount_prompt.txt ├── Prob063_review2015_shiftcount_ref.sv ├── Prob063_review2015_shiftcount_test.sv ├── Prob064_vector3_prompt.txt ├── Prob064_vector3_ref.sv ├── Prob064_vector3_test.sv ├── Prob065_7420_prompt.txt ├── Prob065_7420_ref.sv ├── Prob065_7420_test.sv ├── Prob066_edgecapture_prompt.txt ├── Prob066_edgecapture_ref.sv ├── Prob066_edgecapture_test.sv ├── Prob067_countslow_prompt.txt ├── Prob067_countslow_ref.sv ├── Prob067_countslow_test.sv ├── Prob068_countbcd_prompt.txt ├── Prob068_countbcd_ref.sv ├── Prob068_countbcd_test.sv ├── Prob069_truthtable1_prompt.txt ├── Prob069_truthtable1_ref.sv ├── Prob069_truthtable1_test.sv ├── Prob070_ece241_2013_q2_prompt.txt ├── Prob070_ece241_2013_q2_ref.sv ├── Prob070_ece241_2013_q2_test.sv ├── Prob071_always_casez_prompt.txt ├── Prob071_always_casez_ref.sv ├── Prob071_always_casez_test.sv ├── Prob072_thermostat_prompt.txt ├── Prob072_thermostat_ref.sv ├── Prob072_thermostat_test.sv ├── Prob073_dff16e_prompt.txt ├── Prob073_dff16e_ref.sv ├── Prob073_dff16e_test.sv ├── Prob074_ece241_2014_q4_prompt.txt ├── Prob074_ece241_2014_q4_ref.sv ├── Prob074_ece241_2014_q4_test.sv ├── Prob075_counter_2bc_prompt.txt ├── Prob075_counter_2bc_ref.sv ├── Prob075_counter_2bc_test.sv ├── Prob076_always_case_prompt.txt ├── Prob076_always_case_ref.sv ├── Prob076_always_case_test.sv ├── Prob077_wire_decl_prompt.txt ├── Prob077_wire_decl_ref.sv ├── Prob077_wire_decl_test.sv ├── Prob078_dualedge_prompt.txt ├── Prob078_dualedge_ref.sv ├── Prob078_dualedge_test.sv ├── Prob079_fsm3onehot_prompt.txt ├── Prob079_fsm3onehot_ref.sv ├── Prob079_fsm3onehot_test.sv ├── Prob080_timer_prompt.txt ├── Prob080_timer_ref.sv ├── Prob080_timer_test.sv ├── Prob081_7458_prompt.txt ├── Prob081_7458_ref.sv ├── Prob081_7458_test.sv ├── Prob082_lfsr32_prompt.txt ├── Prob082_lfsr32_ref.sv ├── Prob082_lfsr32_test.sv ├── Prob083_mt2015_q4b_prompt.txt ├── Prob083_mt2015_q4b_ref.sv ├── Prob083_mt2015_q4b_test.sv ├── Prob084_ece241_2013_q12_prompt.txt ├── Prob084_ece241_2013_q12_ref.sv ├── Prob084_ece241_2013_q12_test.sv ├── Prob085_shift4_prompt.txt ├── Prob085_shift4_ref.sv ├── Prob085_shift4_test.sv ├── Prob086_lfsr5_prompt.txt ├── Prob086_lfsr5_ref.sv ├── Prob086_lfsr5_test.sv ├── Prob087_gates_prompt.txt ├── Prob087_gates_ref.sv ├── Prob087_gates_test.sv ├── Prob088_ece241_2014_q5b_prompt.txt ├── Prob088_ece241_2014_q5b_ref.sv ├── Prob088_ece241_2014_q5b_test.sv ├── Prob089_ece241_2014_q5a_prompt.txt ├── Prob089_ece241_2014_q5a_ref.sv ├── Prob089_ece241_2014_q5a_test.sv ├── Prob090_circuit1_prompt.txt ├── Prob090_circuit1_ref.sv ├── Prob090_circuit1_test.sv ├── Prob091_2012_q2b_prompt.txt ├── Prob091_2012_q2b_ref.sv ├── Prob091_2012_q2b_test.sv ├── Prob092_gatesv100_prompt.txt ├── Prob092_gatesv100_ref.sv ├── Prob092_gatesv100_test.sv ├── Prob093_ece241_2014_q3_prompt.txt ├── Prob093_ece241_2014_q3_ref.sv ├── Prob093_ece241_2014_q3_test.sv ├── Prob094_gatesv_prompt.txt ├── Prob094_gatesv_ref.sv ├── Prob094_gatesv_test.sv ├── Prob095_review2015_fsmshift_prompt.txt ├── Prob095_review2015_fsmshift_ref.sv ├── Prob095_review2015_fsmshift_test.sv ├── Prob096_review2015_fsmseq_prompt.txt ├── Prob096_review2015_fsmseq_ref.sv ├── Prob096_review2015_fsmseq_test.sv ├── Prob097_mux9to1v_prompt.txt ├── Prob097_mux9to1v_ref.sv ├── Prob097_mux9to1v_test.sv ├── Prob098_circuit7_prompt.txt ├── Prob098_circuit7_ref.sv ├── Prob098_circuit7_test.sv ├── Prob099_m2014_q6c_prompt.txt ├── Prob099_m2014_q6c_ref.sv ├── Prob099_m2014_q6c_test.sv ├── Prob100_fsm3comb_prompt.txt ├── Prob100_fsm3comb_ref.sv ├── Prob100_fsm3comb_test.sv ├── Prob101_circuit4_prompt.txt ├── Prob101_circuit4_ref.sv ├── Prob101_circuit4_test.sv ├── Prob102_circuit3_prompt.txt ├── Prob102_circuit3_ref.sv ├── Prob102_circuit3_test.sv ├── Prob103_circuit2_prompt.txt ├── Prob103_circuit2_ref.sv ├── Prob103_circuit2_test.sv ├── Prob104_mt2015_muxdff_prompt.txt ├── Prob104_mt2015_muxdff_ref.sv ├── Prob104_mt2015_muxdff_test.sv ├── Prob105_rotate100_prompt.txt ├── Prob105_rotate100_ref.sv ├── Prob105_rotate100_test.sv ├── Prob106_always_nolatches_prompt.txt ├── Prob106_always_nolatches_ref.sv ├── Prob106_always_nolatches_test.sv ├── Prob107_fsm1s_prompt.txt ├── Prob107_fsm1s_ref.sv ├── Prob107_fsm1s_test.sv ├── Prob108_rule90_prompt.txt ├── Prob108_rule90_ref.sv ├── Prob108_rule90_test.sv ├── Prob109_fsm1_prompt.txt ├── Prob109_fsm1_ref.sv ├── Prob109_fsm1_test.sv ├── Prob110_fsm2_prompt.txt ├── Prob110_fsm2_ref.sv ├── Prob110_fsm2_test.sv ├── Prob111_fsm2s_prompt.txt ├── Prob111_fsm2s_ref.sv ├── Prob111_fsm2s_test.sv ├── Prob112_always_case2_prompt.txt ├── Prob112_always_case2_ref.sv ├── Prob112_always_case2_test.sv ├── Prob113_2012_q1g_prompt.txt ├── Prob113_2012_q1g_ref.sv ├── Prob113_2012_q1g_test.sv ├── Prob114_bugs_case_prompt.txt ├── Prob114_bugs_case_ref.sv ├── Prob114_bugs_case_test.sv ├── Prob115_shift18_prompt.txt ├── Prob115_shift18_ref.sv ├── Prob115_shift18_test.sv ├── Prob116_m2014_q3_prompt.txt ├── Prob116_m2014_q3_ref.sv ├── Prob116_m2014_q3_test.sv ├── Prob117_circuit9_prompt.txt ├── Prob117_circuit9_ref.sv ├── Prob117_circuit9_test.sv ├── Prob118_history_shift_prompt.txt ├── Prob118_history_shift_ref.sv ├── Prob118_history_shift_test.sv ├── Prob119_fsm3_prompt.txt ├── Prob119_fsm3_ref.sv ├── Prob119_fsm3_test.sv ├── Prob120_fsm3s_prompt.txt ├── Prob120_fsm3s_ref.sv ├── Prob120_fsm3s_test.sv ├── Prob121_2014_q3bfsm_prompt.txt ├── Prob121_2014_q3bfsm_ref.sv ├── Prob121_2014_q3bfsm_test.sv ├── Prob122_kmap4_prompt.txt ├── Prob122_kmap4_ref.sv ├── Prob122_kmap4_test.sv ├── Prob123_bugs_addsubz_prompt.txt ├── Prob123_bugs_addsubz_ref.sv ├── Prob123_bugs_addsubz_test.sv ├── Prob124_rule110_prompt.txt ├── Prob124_rule110_ref.sv ├── Prob124_rule110_test.sv ├── Prob125_kmap3_prompt.txt ├── Prob125_kmap3_ref.sv ├── Prob125_kmap3_test.sv ├── Prob126_circuit6_prompt.txt ├── Prob126_circuit6_ref.sv ├── Prob126_circuit6_test.sv ├── Prob127_lemmings1_prompt.txt ├── Prob127_lemmings1_ref.sv ├── Prob127_lemmings1_test.sv ├── Prob128_fsm_ps2_prompt.txt ├── Prob128_fsm_ps2_ref.sv ├── Prob128_fsm_ps2_test.sv ├── Prob129_ece241_2013_q8_prompt.txt ├── Prob129_ece241_2013_q8_ref.sv ├── Prob129_ece241_2013_q8_test.sv ├── Prob130_circuit5_prompt.txt ├── Prob130_circuit5_ref.sv ├── Prob130_circuit5_test.sv ├── Prob131_mt2015_q4_prompt.txt ├── Prob131_mt2015_q4_ref.sv ├── Prob131_mt2015_q4_test.sv ├── Prob132_always_if2_prompt.txt ├── Prob132_always_if2_ref.sv ├── Prob132_always_if2_test.sv ├── Prob133_2014_q3fsm_prompt.txt ├── Prob133_2014_q3fsm_ref.sv ├── Prob133_2014_q3fsm_test.sv ├── Prob134_2014_q3c_prompt.txt ├── Prob134_2014_q3c_ref.sv ├── Prob134_2014_q3c_test.sv ├── Prob135_m2014_q6b_prompt.txt ├── Prob135_m2014_q6b_ref.sv ├── Prob135_m2014_q6b_test.sv ├── Prob136_m2014_q6_prompt.txt ├── Prob136_m2014_q6_ref.sv ├── Prob136_m2014_q6_test.sv ├── Prob137_fsm_serial_prompt.txt ├── Prob137_fsm_serial_ref.sv ├── Prob137_fsm_serial_test.sv ├── Prob138_2012_q2fsm_prompt.txt ├── Prob138_2012_q2fsm_ref.sv ├── Prob138_2012_q2fsm_test.sv ├── Prob139_2013_q2bfsm_prompt.txt ├── Prob139_2013_q2bfsm_ref.sv ├── Prob139_2013_q2bfsm_test.sv ├── Prob140_fsm_hdlc_prompt.txt ├── Prob140_fsm_hdlc_ref.sv ├── Prob140_fsm_hdlc_test.sv ├── Prob141_count_clock_prompt.txt ├── Prob141_count_clock_ref.sv ├── Prob141_count_clock_test.sv ├── Prob142_lemmings2_prompt.txt ├── Prob142_lemmings2_ref.sv ├── Prob142_lemmings2_test.sv ├── Prob143_fsm_onehot_prompt.txt ├── Prob143_fsm_onehot_ref.sv ├── Prob143_fsm_onehot_test.sv ├── Prob144_conwaylife_prompt.txt ├── Prob144_conwaylife_ref.sv ├── Prob144_conwaylife_test.sv ├── Prob145_circuit8_prompt.txt ├── Prob145_circuit8_ref.sv ├── Prob145_circuit8_test.sv ├── Prob146_fsm_serialdata_prompt.txt ├── Prob146_fsm_serialdata_ref.sv ├── Prob146_fsm_serialdata_test.sv ├── Prob147_circuit10_prompt.txt ├── Prob147_circuit10_ref.sv ├── Prob147_circuit10_test.sv ├── Prob148_2013_q2afsm_prompt.txt ├── Prob148_2013_q2afsm_ref.sv ├── Prob148_2013_q2afsm_test.sv ├── Prob149_ece241_2013_q4_prompt.txt ├── Prob149_ece241_2013_q4_ref.sv ├── Prob149_ece241_2013_q4_test.sv ├── Prob150_review2015_fsmonehot_prompt.txt ├── Prob150_review2015_fsmonehot_ref.sv ├── Prob150_review2015_fsmonehot_test.sv ├── Prob151_review2015_fsm_prompt.txt ├── Prob151_review2015_fsm_ref.sv ├── Prob151_review2015_fsm_test.sv ├── Prob152_lemmings3_prompt.txt ├── Prob152_lemmings3_ref.sv ├── Prob152_lemmings3_test.sv ├── Prob153_gshare_prompt.txt ├── Prob153_gshare_ref.sv ├── Prob153_gshare_test.sv ├── Prob154_fsm_ps2data_prompt.txt ├── Prob154_fsm_ps2data_ref.sv ├── Prob154_fsm_ps2data_test.sv ├── Prob155_lemmings4_prompt.txt ├── Prob155_lemmings4_ref.sv ├── Prob155_lemmings4_test.sv ├── Prob156_review2015_fancytimer_prompt.txt ├── Prob156_review2015_fancytimer_ref.sv ├── Prob156_review2015_fancytimer_test.sv ├── problems-temp.txt └── problems.txt ├── pass_rate_to_csv.py └── scripts ├── echo-progress ├── prompt-example-prefix.txt ├── sv-generate ├── sv-iv-analyze ├── verilog-example-prefix_code-complete-iccad2023_1-shot default.txt ├── verilog-example-prefix_code-complete-iccad2023_1-shot.txt ├── verilog-example-prefix_code-complete-iccad2023_2-shot.txt ├── verilog-example-prefix_code-complete-iccad2023_3-shot.txt ├── verilog-example-prefix_code-complete-iccad2023_4-shot.txt ├── verilog-example-prefix_spec-to-rtl_1-shot default.txt ├── verilog-example-prefix_spec-to-rtl_1-shot.txt ├── verilog-example-prefix_spec-to-rtl_2-shot.txt ├── verilog-example-prefix_spec-to-rtl_3-shot.txt └── verilog-example-prefix_spec-to-rtl_4-shot.txt /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/Makefile.in -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/README.md -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/configure -------------------------------------------------------------------------------- /configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/configure.ac -------------------------------------------------------------------------------- /count_failures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/count_failures.py -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob001_zero_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob001_zero_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob001_zero_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob001_zero_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob001_zero_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob001_zero_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob001_zero_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob001_zero_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob002_m2014_q4i_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob002_m2014_q4i_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob002_m2014_q4i_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob002_m2014_q4i_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob002_m2014_q4i_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob002_m2014_q4i_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob003_step_one_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob003_step_one_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob003_step_one_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob003_step_one_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob003_step_one_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob003_step_one_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob003_step_one_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob003_step_one_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob004_vector2_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob004_vector2_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob004_vector2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob004_vector2_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob004_vector2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob004_vector2_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob004_vector2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob004_vector2_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob005_notgate_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob005_notgate_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob005_notgate_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob005_notgate_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob005_notgate_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob005_notgate_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob005_notgate_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob005_notgate_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob006_vectorr_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob006_vectorr_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob006_vectorr_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob006_vectorr_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob006_vectorr_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob006_vectorr_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob006_vectorr_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob006_vectorr_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob007_wire_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob007_wire_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob007_wire_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob007_wire_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob007_wire_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob007_wire_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob007_wire_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob007_wire_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob008_m2014_q4h_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob008_m2014_q4h_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob008_m2014_q4h_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob008_m2014_q4h_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob008_m2014_q4h_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob008_m2014_q4h_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob009_popcount3_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob009_popcount3_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob009_popcount3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob009_popcount3_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob009_popcount3_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob009_popcount3_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob010_mt2015_q4a_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob010_mt2015_q4a_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob010_mt2015_q4a_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob010_mt2015_q4a_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob010_mt2015_q4a_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob010_mt2015_q4a_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob011_norgate_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob011_norgate_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob011_norgate_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob011_norgate_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob011_norgate_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob011_norgate_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob012_xnorgate_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob012_xnorgate_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob012_xnorgate_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob012_xnorgate_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob012_xnorgate_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob012_xnorgate_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob013_m2014_q4e_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob013_m2014_q4e_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob014_andgate_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob014_andgate_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob014_andgate_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob014_andgate_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob014_andgate_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob014_andgate_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob015_vector1_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob015_vector1_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob015_vector1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob015_vector1_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob015_vector1_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob015_vector1_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob016_m2014_q4j_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob016_m2014_q4j_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob017_mux2to1v_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob017_mux2to1v_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob017_mux2to1v_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob017_mux2to1v_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob017_mux2to1v_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob017_mux2to1v_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob018_mux256to1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob018_mux256to1_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob019_m2014_q4f_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob019_m2014_q4f_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob022_mux2to1_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob022_mux2to1_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob022_mux2to1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob022_mux2to1_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob022_mux2to1_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob022_mux2to1_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob024_hadd_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob024_hadd_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob024_hadd_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob024_hadd_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob024_hadd_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob024_hadd_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob024_hadd_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob024_hadd_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob025_reduction_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob025_reduction_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob027_fadd_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob027_fadd_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob027_fadd_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob027_fadd_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob027_fadd_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob027_fadd_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob027_fadd_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob027_fadd_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob028_m2014_q4a_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob028_m2014_q4a_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob029_m2014_q4g_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob029_m2014_q4g_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob031_dff_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob031_dff_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob031_dff_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob031_dff_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob031_dff_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob031_dff_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob031_dff_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob031_dff_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob032_vector0_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob032_vector0_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob032_vector0_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob032_vector0_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob032_vector0_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob032_vector0_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob034_dff8_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob034_dff8_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob034_dff8_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob034_dff8_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob034_dff8_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob034_dff8_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob034_dff8_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob034_dff8_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob036_ringer_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob036_ringer_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob036_ringer_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob036_ringer_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob036_ringer_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob036_ringer_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob038_count15_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob038_count15_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob038_count15_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob038_count15_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob038_count15_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob038_count15_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob039_always_if_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob039_always_if_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob040_count10_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob040_count10_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob040_count10_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob040_count10_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob040_count10_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob040_count10_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob041_dff8r_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob041_dff8r_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob041_dff8r_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob041_dff8r_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob041_dff8r_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob041_dff8r_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob041_dff8r_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob041_dff8r_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob042_vector4_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob042_vector4_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob042_vector4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob042_vector4_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob042_vector4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob042_vector4_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob043_vector5_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob043_vector5_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob043_vector5_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob043_vector5_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob043_vector5_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob043_vector5_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob046_dff8p_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob046_dff8p_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob046_dff8p_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob046_dff8p_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob046_dff8p_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob046_dff8p_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob046_dff8p_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob046_dff8p_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob047_dff8ar_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob047_dff8ar_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob047_dff8ar_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob047_dff8ar_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob047_dff8ar_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob047_dff8ar_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob048_m2014_q4c_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob048_m2014_q4c_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob049_m2014_q4b_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob049_m2014_q4b_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob050_kmap1_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob050_kmap1_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob050_kmap1_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob050_kmap1_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob050_kmap1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob050_kmap1_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob050_kmap1_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob050_kmap1_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob051_gates4_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob051_gates4_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob051_gates4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob051_gates4_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob051_gates4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob051_gates4_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob052_gates100_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob052_gates100_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob052_gates100_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob052_gates100_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob052_gates100_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob052_gates100_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob053_m2014_q4d_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob053_m2014_q4d_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob057_kmap2_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob057_kmap2_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob057_kmap2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob057_kmap2_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob057_kmap2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob057_kmap2_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob057_kmap2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob057_kmap2_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob059_wire4_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob059_wire4_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob059_wire4_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob059_wire4_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob059_wire4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob059_wire4_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob059_wire4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob059_wire4_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob060_m2014_q4k_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob060_m2014_q4k_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob061_2014_q4a_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob061_2014_q4a_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob061_2014_q4a_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob061_2014_q4a_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob061_2014_q4a_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob061_2014_q4a_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob062_bugs_mux2.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob062_bugs_mux2.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob062_bugs_mux2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob062_bugs_mux2_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob064_vector3_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob064_vector3_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob064_vector3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob064_vector3_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob064_vector3_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob064_vector3_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob065_7420_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob065_7420_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob065_7420_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob065_7420_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob065_7420_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob065_7420_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob065_7420_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob065_7420_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob067_countslow_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob067_countslow_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob068_countbcd_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob068_countbcd_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob068_countbcd_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob068_countbcd_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob068_countbcd_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob068_countbcd_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob073_dff16e_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob073_dff16e_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob073_dff16e_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob073_dff16e_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob073_dff16e_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob073_dff16e_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob077_wire_decl_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob077_wire_decl_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob078_dualedge_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob078_dualedge_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob078_dualedge_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob078_dualedge_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob078_dualedge_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob078_dualedge_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob080_timer_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob080_timer_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob080_timer_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob080_timer_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob080_timer_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob080_timer_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob080_timer_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob080_timer_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob081_7458_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob081_7458_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob081_7458_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob081_7458_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob081_7458_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob081_7458_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob081_7458_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob081_7458_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob082_lfsr32_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob082_lfsr32_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob082_lfsr32_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob082_lfsr32_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob082_lfsr32_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob082_lfsr32_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob085_shift4_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob085_shift4_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob085_shift4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob085_shift4_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob085_shift4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob085_shift4_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob086_lfsr5_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob086_lfsr5_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob086_lfsr5_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob086_lfsr5_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob086_lfsr5_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob086_lfsr5_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob086_lfsr5_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob086_lfsr5_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob087_gates_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob087_gates_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob087_gates_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob087_gates_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob087_gates_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob087_gates_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob087_gates_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob087_gates_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob090_circuit1_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob090_circuit1_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob090_circuit1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob090_circuit1_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob090_circuit1_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob090_circuit1_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob091_2012_q2b_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob091_2012_q2b_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob091_2012_q2b_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob091_2012_q2b_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob091_2012_q2b_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob091_2012_q2b_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob092_gatesv100_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob092_gatesv100_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob094_gatesv_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob094_gatesv_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob094_gatesv_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob094_gatesv_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob094_gatesv_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob094_gatesv_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob097_mux9to1v_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob097_mux9to1v_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob097_mux9to1v_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob097_mux9to1v_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob097_mux9to1v_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob097_mux9to1v_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob098_circuit7_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob098_circuit7_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob098_circuit7_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob098_circuit7_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob098_circuit7_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob098_circuit7_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob099_m2014_q6c_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob099_m2014_q6c_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob100_fsm3comb_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob100_fsm3comb_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob100_fsm3comb_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob100_fsm3comb_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob100_fsm3comb_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob100_fsm3comb_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob101_circuit4_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob101_circuit4_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob101_circuit4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob101_circuit4_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob101_circuit4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob101_circuit4_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob102_circuit3_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob102_circuit3_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob102_circuit3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob102_circuit3_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob102_circuit3_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob102_circuit3_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob103_circuit2_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob103_circuit2_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob103_circuit2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob103_circuit2_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob103_circuit2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob103_circuit2_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob105_rotate100_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob105_rotate100_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob107_fsm1s_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob107_fsm1s_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob107_fsm1s_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob107_fsm1s_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob107_fsm1s_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob107_fsm1s_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob107_fsm1s_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob107_fsm1s_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob108_rule90_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob108_rule90_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob108_rule90_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob108_rule90_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob108_rule90_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob108_rule90_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob109_fsm1_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob109_fsm1_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob109_fsm1_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob109_fsm1_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob109_fsm1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob109_fsm1_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob109_fsm1_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob109_fsm1_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob110_fsm2_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob110_fsm2_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob110_fsm2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob110_fsm2_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob110_fsm2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob110_fsm2_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob110_fsm2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob110_fsm2_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob111_fsm2s_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob111_fsm2s_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob111_fsm2s_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob111_fsm2s_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob111_fsm2s_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob111_fsm2s_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob111_fsm2s_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob111_fsm2s_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob113_2012_q1g_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob113_2012_q1g_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob113_2012_q1g_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob113_2012_q1g_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob113_2012_q1g_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob113_2012_q1g_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob114_bugs_case_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob114_bugs_case_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob115_shift18_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob115_shift18_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob115_shift18_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob115_shift18_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob115_shift18_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob115_shift18_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob116_m2014_q3_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob116_m2014_q3_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob116_m2014_q3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob116_m2014_q3_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob116_m2014_q3_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob116_m2014_q3_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob117_circuit9_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob117_circuit9_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob117_circuit9_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob117_circuit9_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob117_circuit9_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob117_circuit9_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob119_fsm3_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob119_fsm3_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob119_fsm3_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob119_fsm3_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob119_fsm3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob119_fsm3_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob119_fsm3_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob119_fsm3_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob120_fsm3s_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob120_fsm3s_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob120_fsm3s_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob120_fsm3s_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob120_fsm3s_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob120_fsm3s_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob120_fsm3s_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob120_fsm3s_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob122_kmap4_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob122_kmap4_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob122_kmap4_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob122_kmap4_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob122_kmap4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob122_kmap4_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob122_kmap4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob122_kmap4_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob124_rule110_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob124_rule110_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob124_rule110_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob124_rule110_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob124_rule110_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob124_rule110_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob125_kmap3_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob125_kmap3_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob125_kmap3_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob125_kmap3_prompt.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob125_kmap3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob125_kmap3_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob125_kmap3_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob125_kmap3_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob126_circuit6_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob126_circuit6_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob126_circuit6_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob126_circuit6_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob126_circuit6_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob126_circuit6_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob127_lemmings1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob127_lemmings1_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob128_fsm_ps2_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob128_fsm_ps2_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob128_fsm_ps2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob128_fsm_ps2_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob128_fsm_ps2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob128_fsm_ps2_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob130_circuit5_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob130_circuit5_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob130_circuit5_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob130_circuit5_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob130_circuit5_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob130_circuit5_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob131_mt2015_q4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob131_mt2015_q4_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob134_2014_q3c_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob134_2014_q3c_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob134_2014_q3c_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob134_2014_q3c_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob134_2014_q3c_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob134_2014_q3c_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob135_m2014_q6b_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob135_m2014_q6b_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob136_m2014_q6_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob136_m2014_q6_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob136_m2014_q6_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob136_m2014_q6_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob136_m2014_q6_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob136_m2014_q6_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob140_fsm_hdlc_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob140_fsm_hdlc_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob140_fsm_hdlc_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob140_fsm_hdlc_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob140_fsm_hdlc_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob140_fsm_hdlc_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob142_lemmings2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob142_lemmings2_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob145_circuit8_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob145_circuit8_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob145_circuit8_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob145_circuit8_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob145_circuit8_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob145_circuit8_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob147_circuit10_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob147_circuit10_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob152_lemmings3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob152_lemmings3_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob153_gshare_ifc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob153_gshare_ifc.txt -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob153_gshare_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob153_gshare_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob153_gshare_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob153_gshare_test.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/Prob155_lemmings4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/Prob155_lemmings4_ref.sv -------------------------------------------------------------------------------- /dataset_code-complete-iccad2023/problems.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_code-complete-iccad2023/problems.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob001_zero_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob001_zero_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob001_zero_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob001_zero_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob001_zero_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob001_zero_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob002_m2014_q4i_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob002_m2014_q4i_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob002_m2014_q4i_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob002_m2014_q4i_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob002_m2014_q4i_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob002_m2014_q4i_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob003_step_one_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob003_step_one_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob003_step_one_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob003_step_one_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob003_step_one_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob003_step_one_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob004_vector2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob004_vector2_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob004_vector2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob004_vector2_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob004_vector2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob004_vector2_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob005_notgate_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob005_notgate_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob005_notgate_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob005_notgate_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob005_notgate_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob005_notgate_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob006_vectorr_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob006_vectorr_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob006_vectorr_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob006_vectorr_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob006_vectorr_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob006_vectorr_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob007_wire_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob007_wire_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob007_wire_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob007_wire_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob007_wire_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob007_wire_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob008_m2014_q4h_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob008_m2014_q4h_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob008_m2014_q4h_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob008_m2014_q4h_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob008_m2014_q4h_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob008_m2014_q4h_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob009_popcount3_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob009_popcount3_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob009_popcount3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob009_popcount3_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob009_popcount3_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob009_popcount3_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob010_mt2015_q4a_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob010_mt2015_q4a_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob010_mt2015_q4a_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob010_mt2015_q4a_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob010_mt2015_q4a_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob010_mt2015_q4a_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob011_norgate_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob011_norgate_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob011_norgate_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob011_norgate_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob011_norgate_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob011_norgate_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob012_xnorgate_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob012_xnorgate_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob012_xnorgate_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob012_xnorgate_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob012_xnorgate_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob012_xnorgate_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob013_m2014_q4e_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob013_m2014_q4e_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob013_m2014_q4e_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob013_m2014_q4e_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob013_m2014_q4e_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob013_m2014_q4e_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob014_andgate_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob014_andgate_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob014_andgate_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob014_andgate_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob014_andgate_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob014_andgate_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob015_vector1_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob015_vector1_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob015_vector1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob015_vector1_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob015_vector1_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob015_vector1_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob016_m2014_q4j_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob016_m2014_q4j_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob016_m2014_q4j_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob016_m2014_q4j_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob016_m2014_q4j_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob016_m2014_q4j_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob017_mux2to1v_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob017_mux2to1v_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob017_mux2to1v_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob017_mux2to1v_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob017_mux2to1v_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob017_mux2to1v_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob018_mux256to1_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob018_mux256to1_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob018_mux256to1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob018_mux256to1_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob018_mux256to1_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob018_mux256to1_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob019_m2014_q4f_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob019_m2014_q4f_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob019_m2014_q4f_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob019_m2014_q4f_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob019_m2014_q4f_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob019_m2014_q4f_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob020_mt2015_eq2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob020_mt2015_eq2_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob020_mt2015_eq2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob020_mt2015_eq2_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob020_mt2015_eq2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob020_mt2015_eq2_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob021_mux256to1v_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob021_mux256to1v_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob021_mux256to1v_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob021_mux256to1v_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob021_mux256to1v_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob021_mux256to1v_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob022_mux2to1_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob022_mux2to1_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob022_mux2to1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob022_mux2to1_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob022_mux2to1_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob022_mux2to1_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob023_vector100r_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob023_vector100r_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob023_vector100r_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob023_vector100r_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob023_vector100r_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob023_vector100r_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob024_hadd_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob024_hadd_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob024_hadd_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob024_hadd_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob024_hadd_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob024_hadd_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob025_reduction_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob025_reduction_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob025_reduction_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob025_reduction_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob025_reduction_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob025_reduction_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob026_alwaysblock1_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob026_alwaysblock1_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob026_alwaysblock1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob026_alwaysblock1_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob026_alwaysblock1_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob026_alwaysblock1_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob027_fadd_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob027_fadd_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob027_fadd_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob027_fadd_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob027_fadd_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob027_fadd_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob028_m2014_q4a_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob028_m2014_q4a_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob028_m2014_q4a_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob028_m2014_q4a_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob028_m2014_q4a_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob028_m2014_q4a_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob029_m2014_q4g_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob029_m2014_q4g_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob029_m2014_q4g_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob029_m2014_q4g_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob029_m2014_q4g_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob029_m2014_q4g_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob030_popcount255_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob030_popcount255_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob030_popcount255_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob030_popcount255_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob030_popcount255_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob030_popcount255_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob031_dff_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob031_dff_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob031_dff_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob031_dff_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob031_dff_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob031_dff_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob032_vector0_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob032_vector0_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob032_vector0_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob032_vector0_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob032_vector0_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob032_vector0_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob033_ece241_2014_q1c_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob033_ece241_2014_q1c_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob033_ece241_2014_q1c_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob033_ece241_2014_q1c_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob033_ece241_2014_q1c_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob033_ece241_2014_q1c_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob034_dff8_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob034_dff8_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob034_dff8_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob034_dff8_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob034_dff8_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob034_dff8_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob035_count1to10_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob035_count1to10_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob035_count1to10_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob035_count1to10_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob035_count1to10_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob035_count1to10_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob036_ringer_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob036_ringer_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob036_ringer_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob036_ringer_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob036_ringer_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob036_ringer_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob037_review2015_count1k_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob037_review2015_count1k_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob037_review2015_count1k_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob037_review2015_count1k_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob038_count15_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob038_count15_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob038_count15_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob038_count15_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob038_count15_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob038_count15_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob039_always_if_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob039_always_if_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob039_always_if_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob039_always_if_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob039_always_if_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob039_always_if_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob040_count10_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob040_count10_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob040_count10_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob040_count10_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob040_count10_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob040_count10_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob041_dff8r_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob041_dff8r_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob041_dff8r_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob041_dff8r_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob041_dff8r_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob041_dff8r_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob042_vector4_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob042_vector4_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob042_vector4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob042_vector4_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob042_vector4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob042_vector4_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob043_vector5_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob043_vector5_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob043_vector5_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob043_vector5_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob043_vector5_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob043_vector5_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob044_vectorgates_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob044_vectorgates_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob044_vectorgates_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob044_vectorgates_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob044_vectorgates_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob044_vectorgates_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob045_edgedetect2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob045_edgedetect2_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob045_edgedetect2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob045_edgedetect2_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob045_edgedetect2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob045_edgedetect2_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob046_dff8p_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob046_dff8p_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob046_dff8p_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob046_dff8p_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob046_dff8p_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob046_dff8p_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob047_dff8ar_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob047_dff8ar_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob047_dff8ar_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob047_dff8ar_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob047_dff8ar_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob047_dff8ar_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob048_m2014_q4c_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob048_m2014_q4c_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob048_m2014_q4c_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob048_m2014_q4c_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob048_m2014_q4c_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob048_m2014_q4c_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob049_m2014_q4b_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob049_m2014_q4b_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob049_m2014_q4b_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob049_m2014_q4b_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob049_m2014_q4b_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob049_m2014_q4b_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob050_kmap1_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob050_kmap1_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob050_kmap1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob050_kmap1_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob050_kmap1_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob050_kmap1_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob051_gates4_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob051_gates4_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob051_gates4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob051_gates4_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob051_gates4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob051_gates4_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob052_gates100_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob052_gates100_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob052_gates100_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob052_gates100_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob052_gates100_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob052_gates100_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob053_m2014_q4d_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob053_m2014_q4d_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob053_m2014_q4d_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob053_m2014_q4d_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob053_m2014_q4d_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob053_m2014_q4d_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob054_edgedetect_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob054_edgedetect_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob054_edgedetect_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob054_edgedetect_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob054_edgedetect_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob054_edgedetect_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob055_conditional_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob055_conditional_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob055_conditional_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob055_conditional_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob055_conditional_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob055_conditional_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob056_ece241_2013_q7_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob056_ece241_2013_q7_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob056_ece241_2013_q7_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob056_ece241_2013_q7_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob056_ece241_2013_q7_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob056_ece241_2013_q7_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob057_kmap2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob057_kmap2_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob057_kmap2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob057_kmap2_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob057_kmap2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob057_kmap2_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob058_alwaysblock2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob058_alwaysblock2_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob058_alwaysblock2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob058_alwaysblock2_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob058_alwaysblock2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob058_alwaysblock2_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob059_wire4_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob059_wire4_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob059_wire4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob059_wire4_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob059_wire4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob059_wire4_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob060_m2014_q4k_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob060_m2014_q4k_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob060_m2014_q4k_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob060_m2014_q4k_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob060_m2014_q4k_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob060_m2014_q4k_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob061_2014_q4a_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob061_2014_q4a_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob061_2014_q4a_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob061_2014_q4a_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob061_2014_q4a_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob061_2014_q4a_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob062_bugs_mux2.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob062_bugs_mux2.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob062_bugs_mux2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob062_bugs_mux2_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob062_bugs_mux2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob062_bugs_mux2_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob062_bugs_mux2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob062_bugs_mux2_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob063_review2015_shiftcount_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob063_review2015_shiftcount_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob064_vector3_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob064_vector3_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob064_vector3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob064_vector3_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob064_vector3_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob064_vector3_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob065_7420_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob065_7420_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob065_7420_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob065_7420_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob065_7420_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob065_7420_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob066_edgecapture_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob066_edgecapture_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob066_edgecapture_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob066_edgecapture_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob066_edgecapture_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob066_edgecapture_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob067_countslow_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob067_countslow_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob067_countslow_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob067_countslow_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob067_countslow_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob067_countslow_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob068_countbcd_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob068_countbcd_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob068_countbcd_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob068_countbcd_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob068_countbcd_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob068_countbcd_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob069_truthtable1_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob069_truthtable1_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob069_truthtable1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob069_truthtable1_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob069_truthtable1_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob069_truthtable1_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob070_ece241_2013_q2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob070_ece241_2013_q2_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob070_ece241_2013_q2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob070_ece241_2013_q2_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob070_ece241_2013_q2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob070_ece241_2013_q2_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob071_always_casez_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob071_always_casez_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob071_always_casez_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob071_always_casez_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob071_always_casez_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob071_always_casez_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob072_thermostat_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob072_thermostat_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob072_thermostat_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob072_thermostat_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob072_thermostat_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob072_thermostat_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob073_dff16e_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob073_dff16e_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob073_dff16e_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob073_dff16e_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob073_dff16e_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob073_dff16e_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob074_ece241_2014_q4_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob074_ece241_2014_q4_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob074_ece241_2014_q4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob074_ece241_2014_q4_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob074_ece241_2014_q4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob074_ece241_2014_q4_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob075_counter_2bc_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob075_counter_2bc_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob075_counter_2bc_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob075_counter_2bc_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob075_counter_2bc_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob075_counter_2bc_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob076_always_case_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob076_always_case_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob076_always_case_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob076_always_case_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob076_always_case_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob076_always_case_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob077_wire_decl_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob077_wire_decl_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob077_wire_decl_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob077_wire_decl_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob077_wire_decl_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob077_wire_decl_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob078_dualedge_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob078_dualedge_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob078_dualedge_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob078_dualedge_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob078_dualedge_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob078_dualedge_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob079_fsm3onehot_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob079_fsm3onehot_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob079_fsm3onehot_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob079_fsm3onehot_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob079_fsm3onehot_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob079_fsm3onehot_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob080_timer_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob080_timer_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob080_timer_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob080_timer_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob080_timer_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob080_timer_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob081_7458_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob081_7458_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob081_7458_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob081_7458_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob081_7458_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob081_7458_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob082_lfsr32_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob082_lfsr32_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob082_lfsr32_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob082_lfsr32_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob082_lfsr32_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob082_lfsr32_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob083_mt2015_q4b_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob083_mt2015_q4b_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob083_mt2015_q4b_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob083_mt2015_q4b_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob083_mt2015_q4b_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob083_mt2015_q4b_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob084_ece241_2013_q12_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob084_ece241_2013_q12_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob084_ece241_2013_q12_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob084_ece241_2013_q12_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob084_ece241_2013_q12_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob084_ece241_2013_q12_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob085_shift4_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob085_shift4_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob085_shift4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob085_shift4_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob085_shift4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob085_shift4_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob086_lfsr5_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob086_lfsr5_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob086_lfsr5_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob086_lfsr5_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob086_lfsr5_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob086_lfsr5_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob087_gates_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob087_gates_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob087_gates_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob087_gates_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob087_gates_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob087_gates_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob088_ece241_2014_q5b_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob088_ece241_2014_q5b_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob088_ece241_2014_q5b_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob088_ece241_2014_q5b_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob088_ece241_2014_q5b_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob088_ece241_2014_q5b_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob089_ece241_2014_q5a_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob089_ece241_2014_q5a_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob089_ece241_2014_q5a_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob089_ece241_2014_q5a_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob089_ece241_2014_q5a_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob089_ece241_2014_q5a_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob090_circuit1_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob090_circuit1_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob090_circuit1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob090_circuit1_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob090_circuit1_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob090_circuit1_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob091_2012_q2b_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob091_2012_q2b_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob091_2012_q2b_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob091_2012_q2b_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob091_2012_q2b_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob091_2012_q2b_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob092_gatesv100_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob092_gatesv100_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob092_gatesv100_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob092_gatesv100_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob092_gatesv100_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob092_gatesv100_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob093_ece241_2014_q3_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob093_ece241_2014_q3_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob093_ece241_2014_q3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob093_ece241_2014_q3_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob093_ece241_2014_q3_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob093_ece241_2014_q3_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob094_gatesv_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob094_gatesv_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob094_gatesv_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob094_gatesv_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob094_gatesv_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob094_gatesv_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob095_review2015_fsmshift_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob095_review2015_fsmshift_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob095_review2015_fsmshift_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob095_review2015_fsmshift_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob096_review2015_fsmseq_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob096_review2015_fsmseq_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob096_review2015_fsmseq_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob096_review2015_fsmseq_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob096_review2015_fsmseq_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob096_review2015_fsmseq_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob097_mux9to1v_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob097_mux9to1v_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob097_mux9to1v_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob097_mux9to1v_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob097_mux9to1v_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob097_mux9to1v_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob098_circuit7_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob098_circuit7_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob098_circuit7_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob098_circuit7_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob098_circuit7_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob098_circuit7_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob099_m2014_q6c_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob099_m2014_q6c_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob099_m2014_q6c_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob099_m2014_q6c_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob099_m2014_q6c_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob099_m2014_q6c_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob100_fsm3comb_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob100_fsm3comb_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob100_fsm3comb_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob100_fsm3comb_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob100_fsm3comb_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob100_fsm3comb_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob101_circuit4_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob101_circuit4_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob101_circuit4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob101_circuit4_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob101_circuit4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob101_circuit4_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob102_circuit3_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob102_circuit3_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob102_circuit3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob102_circuit3_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob102_circuit3_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob102_circuit3_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob103_circuit2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob103_circuit2_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob103_circuit2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob103_circuit2_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob103_circuit2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob103_circuit2_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob104_mt2015_muxdff_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob104_mt2015_muxdff_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob104_mt2015_muxdff_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob104_mt2015_muxdff_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob104_mt2015_muxdff_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob104_mt2015_muxdff_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob105_rotate100_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob105_rotate100_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob105_rotate100_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob105_rotate100_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob105_rotate100_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob105_rotate100_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob106_always_nolatches_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob106_always_nolatches_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob106_always_nolatches_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob106_always_nolatches_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob106_always_nolatches_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob106_always_nolatches_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob107_fsm1s_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob107_fsm1s_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob107_fsm1s_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob107_fsm1s_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob107_fsm1s_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob107_fsm1s_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob108_rule90_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob108_rule90_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob108_rule90_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob108_rule90_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob108_rule90_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob108_rule90_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob109_fsm1_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob109_fsm1_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob109_fsm1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob109_fsm1_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob109_fsm1_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob109_fsm1_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob110_fsm2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob110_fsm2_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob110_fsm2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob110_fsm2_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob110_fsm2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob110_fsm2_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob111_fsm2s_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob111_fsm2s_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob111_fsm2s_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob111_fsm2s_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob111_fsm2s_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob111_fsm2s_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob112_always_case2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob112_always_case2_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob112_always_case2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob112_always_case2_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob112_always_case2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob112_always_case2_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob113_2012_q1g_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob113_2012_q1g_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob113_2012_q1g_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob113_2012_q1g_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob113_2012_q1g_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob113_2012_q1g_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob114_bugs_case_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob114_bugs_case_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob114_bugs_case_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob114_bugs_case_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob114_bugs_case_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob114_bugs_case_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob115_shift18_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob115_shift18_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob115_shift18_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob115_shift18_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob115_shift18_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob115_shift18_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob116_m2014_q3_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob116_m2014_q3_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob116_m2014_q3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob116_m2014_q3_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob116_m2014_q3_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob116_m2014_q3_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob117_circuit9_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob117_circuit9_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob117_circuit9_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob117_circuit9_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob117_circuit9_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob117_circuit9_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob118_history_shift_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob118_history_shift_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob118_history_shift_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob118_history_shift_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob118_history_shift_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob118_history_shift_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob119_fsm3_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob119_fsm3_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob119_fsm3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob119_fsm3_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob119_fsm3_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob119_fsm3_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob120_fsm3s_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob120_fsm3s_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob120_fsm3s_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob120_fsm3s_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob120_fsm3s_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob120_fsm3s_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob121_2014_q3bfsm_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob121_2014_q3bfsm_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob121_2014_q3bfsm_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob121_2014_q3bfsm_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob121_2014_q3bfsm_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob121_2014_q3bfsm_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob122_kmap4_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob122_kmap4_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob122_kmap4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob122_kmap4_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob122_kmap4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob122_kmap4_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob123_bugs_addsubz_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob123_bugs_addsubz_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob123_bugs_addsubz_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob123_bugs_addsubz_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob123_bugs_addsubz_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob123_bugs_addsubz_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob124_rule110_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob124_rule110_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob124_rule110_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob124_rule110_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob124_rule110_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob124_rule110_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob125_kmap3_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob125_kmap3_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob125_kmap3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob125_kmap3_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob125_kmap3_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob125_kmap3_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob126_circuit6_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob126_circuit6_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob126_circuit6_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob126_circuit6_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob126_circuit6_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob126_circuit6_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob127_lemmings1_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob127_lemmings1_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob127_lemmings1_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob127_lemmings1_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob127_lemmings1_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob127_lemmings1_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob128_fsm_ps2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob128_fsm_ps2_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob128_fsm_ps2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob128_fsm_ps2_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob128_fsm_ps2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob128_fsm_ps2_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob129_ece241_2013_q8_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob129_ece241_2013_q8_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob129_ece241_2013_q8_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob129_ece241_2013_q8_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob129_ece241_2013_q8_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob129_ece241_2013_q8_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob130_circuit5_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob130_circuit5_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob130_circuit5_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob130_circuit5_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob130_circuit5_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob130_circuit5_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob131_mt2015_q4_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob131_mt2015_q4_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob131_mt2015_q4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob131_mt2015_q4_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob131_mt2015_q4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob131_mt2015_q4_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob132_always_if2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob132_always_if2_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob132_always_if2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob132_always_if2_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob132_always_if2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob132_always_if2_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob133_2014_q3fsm_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob133_2014_q3fsm_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob133_2014_q3fsm_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob133_2014_q3fsm_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob133_2014_q3fsm_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob133_2014_q3fsm_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob134_2014_q3c_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob134_2014_q3c_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob134_2014_q3c_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob134_2014_q3c_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob134_2014_q3c_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob134_2014_q3c_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob135_m2014_q6b_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob135_m2014_q6b_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob135_m2014_q6b_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob135_m2014_q6b_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob135_m2014_q6b_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob135_m2014_q6b_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob136_m2014_q6_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob136_m2014_q6_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob136_m2014_q6_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob136_m2014_q6_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob136_m2014_q6_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob136_m2014_q6_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob137_fsm_serial_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob137_fsm_serial_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob137_fsm_serial_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob137_fsm_serial_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob137_fsm_serial_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob137_fsm_serial_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob138_2012_q2fsm_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob138_2012_q2fsm_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob138_2012_q2fsm_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob138_2012_q2fsm_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob138_2012_q2fsm_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob138_2012_q2fsm_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob139_2013_q2bfsm_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob139_2013_q2bfsm_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob139_2013_q2bfsm_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob139_2013_q2bfsm_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob139_2013_q2bfsm_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob139_2013_q2bfsm_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob140_fsm_hdlc_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob140_fsm_hdlc_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob140_fsm_hdlc_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob140_fsm_hdlc_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob140_fsm_hdlc_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob140_fsm_hdlc_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob141_count_clock_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob141_count_clock_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob141_count_clock_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob141_count_clock_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob141_count_clock_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob141_count_clock_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob142_lemmings2_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob142_lemmings2_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob142_lemmings2_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob142_lemmings2_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob142_lemmings2_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob142_lemmings2_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob143_fsm_onehot_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob143_fsm_onehot_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob143_fsm_onehot_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob143_fsm_onehot_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob143_fsm_onehot_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob143_fsm_onehot_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob144_conwaylife_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob144_conwaylife_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob144_conwaylife_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob144_conwaylife_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob144_conwaylife_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob144_conwaylife_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob145_circuit8_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob145_circuit8_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob145_circuit8_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob145_circuit8_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob145_circuit8_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob145_circuit8_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob146_fsm_serialdata_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob146_fsm_serialdata_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob146_fsm_serialdata_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob146_fsm_serialdata_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob146_fsm_serialdata_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob146_fsm_serialdata_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob147_circuit10_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob147_circuit10_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob147_circuit10_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob147_circuit10_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob147_circuit10_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob147_circuit10_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob148_2013_q2afsm_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob148_2013_q2afsm_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob148_2013_q2afsm_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob148_2013_q2afsm_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob148_2013_q2afsm_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob148_2013_q2afsm_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob149_ece241_2013_q4_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob149_ece241_2013_q4_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob149_ece241_2013_q4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob149_ece241_2013_q4_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob149_ece241_2013_q4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob149_ece241_2013_q4_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob150_review2015_fsmonehot_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob150_review2015_fsmonehot_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob150_review2015_fsmonehot_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob150_review2015_fsmonehot_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob151_review2015_fsm_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob151_review2015_fsm_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob151_review2015_fsm_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob151_review2015_fsm_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob151_review2015_fsm_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob151_review2015_fsm_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob152_lemmings3_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob152_lemmings3_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob152_lemmings3_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob152_lemmings3_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob152_lemmings3_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob152_lemmings3_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob153_gshare_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob153_gshare_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob153_gshare_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob153_gshare_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob153_gshare_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob153_gshare_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob154_fsm_ps2data_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob154_fsm_ps2data_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob154_fsm_ps2data_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob154_fsm_ps2data_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob154_fsm_ps2data_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob154_fsm_ps2data_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob155_lemmings4_prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob155_lemmings4_prompt.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob155_lemmings4_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob155_lemmings4_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob155_lemmings4_test.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob155_lemmings4_test.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/Prob156_review2015_fancytimer_ref.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/Prob156_review2015_fancytimer_ref.sv -------------------------------------------------------------------------------- /dataset_spec-to-rtl/problems-temp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/problems-temp.txt -------------------------------------------------------------------------------- /dataset_spec-to-rtl/problems.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/dataset_spec-to-rtl/problems.txt -------------------------------------------------------------------------------- /pass_rate_to_csv.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/pass_rate_to_csv.py -------------------------------------------------------------------------------- /scripts/echo-progress: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/scripts/echo-progress -------------------------------------------------------------------------------- /scripts/prompt-example-prefix.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/scripts/prompt-example-prefix.txt -------------------------------------------------------------------------------- /scripts/sv-generate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/scripts/sv-generate -------------------------------------------------------------------------------- /scripts/sv-iv-analyze: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/scripts/sv-iv-analyze -------------------------------------------------------------------------------- /scripts/verilog-example-prefix_spec-to-rtl_1-shot.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/scripts/verilog-example-prefix_spec-to-rtl_1-shot.txt -------------------------------------------------------------------------------- /scripts/verilog-example-prefix_spec-to-rtl_2-shot.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/scripts/verilog-example-prefix_spec-to-rtl_2-shot.txt -------------------------------------------------------------------------------- /scripts/verilog-example-prefix_spec-to-rtl_3-shot.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/scripts/verilog-example-prefix_spec-to-rtl_3-shot.txt -------------------------------------------------------------------------------- /scripts/verilog-example-prefix_spec-to-rtl_4-shot.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NVlabs/verilog-eval/HEAD/scripts/verilog-example-prefix_spec-to-rtl_4-shot.txt --------------------------------------------------------------------------------