Назад к моделям Назад к профилю модели

qwen3-coder:30b | RAG on

13_rtllm_arithmetic / task_10 | verified_radix2_div

benchmarkrtllm
task_idrtllm/13_rtllm_arithmetic/task_10
samples_total31
final_success_samples0
final_success_rate_samples0.0%
functional_pass_rate_samples0.0%
synth_pass_rate_samples0.0%
source_runsrun_20260424_203453_201510_6e98ce, run_20260424_212142_473417_af1ca5, run_20260424_230145_632624_082334, run_20260426_141859_833435_7c9834

Что показывает эта страница

Здесь перечислены все реальные попытки этой модели на одной задаче. По каждой попытке можно увидеть, до какой стадии она дошла, где именно сломалась и какое сообщение об ошибке вернулось из syntax, functional или synthesis.

Samples

sample run extract_ok syntax_ok functional_ok openlane_ok final_success failure_stage failure_reason details
sample_1 run_20260424_203453_201510_6e98ce ok failed failed skipped failed syntax /data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_1/generated.v:65: syntax error
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_203453_201510_6e98ce__sample_1
generated.v preview
module verified_radix2_div (
    input clk,
    input rst,
    input sign,
    input [7:0] dividend,
    input [7:0] divisor,
    input opn_valid,
    output reg res_valid,
    output reg [15:0] result
);

reg [15:0] SR;
reg [7:0] cnt;
reg start_cnt;
reg NEG_DIVISOR;
reg [7:0] abs_dividend;
reg [7:0] abs_divisor;

always @(posedge clk) begin
    if (rst) begin
        res_valid <= 0;
        SR <= 0;
        cnt <= 0;
        start_cnt <= 0;
        NEG_DIVISOR <= 0;
        abs_dividend <= 0;
        abs_divisor <= 0;
    end else begin
        if (opn_valid && !res_valid) begin
            // Save inputs
            abs_dividend <= dividend;
            abs_divisor <= divisor;
...
syntax details
[stderr]
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_1/generated.v:65: syntax error
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_1/generated.v:65: error: Malformed statement
functional details
[stderr]
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_1/functional/generated.v:65: syntax error
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_1/functional/generated.v:65: error: Malformed statement
synthesis details
[error]
None
errors[]
[
  {
    "stage": "syntax",
    "code": "syntax.iverilog_failed",
    "message": "/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_1/generated.v:65: syntax error\n/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_1/generated.v:65: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  },
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_1/functional/generated.v:65: syntax error\n/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_1/functional/generated.v:65: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": false,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_1 run_20260424_212142_473417_af1ca5 ok failed failed skipped failed syntax /data/eval/out/run_20260424_212142_473417_af1ca5/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_1/generated.v:48: error: can not select part of scalar: NEG_DIVISOR
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_212142_473417_af1ca5__sample_1
generated.v preview
module verified_radix2_div (
    input clk,
    input rst,
    input sign,
    input [7:0] dividend,
    input [7:0] divisor,
    input opn_valid,
    output reg res_valid,
    output reg [15:0] result
);

reg [15:0] SR;
reg [7:0] cnt;
reg start_cnt;
reg NEG_DIVISOR;
reg [7:0] dividend_reg;
reg [7:0] divisor_reg;
reg [15:0] temp_result;

always @(posedge clk) begin
    if (rst) begin
        res_valid <= 0;
        SR <= 0;
        cnt <= 0;
        start_cnt <= 0;
        NEG_DIVISOR <= 0;
        dividend_reg <= 0;
        divisor_reg <= 0;
        temp_result <= 0;
    end else begin
        if (opn_valid && !res_valid) begin
            dividend_reg <= dividend;
...
syntax details
[stderr]
/data/eval/out/run_20260424_212142_473417_af1ca5/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_1/generated.v:48: error: can not select part of scalar: NEG_DIVISOR
/data/eval/out/run_20260424_212142_473417_af1ca5/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_1/generated.v:49: error: can not select part of scalar: NEG_DIVISOR
2 error(s) during elaboration.
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "syntax",
    "code": "syntax.iverilog_failed",
    "message": "/data/eval/out/run_20260424_212142_473417_af1ca5/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_1/generated.v:48: error: can not select part of scalar: NEG_DIVISOR\n/data/eval/out/run_20260424_212142_473417_af1ca5/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_1/generated.v:49: error: can not select part of scalar: NEG_DIVISOR\n2 error(s) during elaboration.\n",
    "retryable": false,
    "details": {}
  },
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": false,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_1 run_20260424_230145_632624_082334 ok failed failed skipped failed syntax /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_1/generated.v:62: syntax error
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_230145_632624_082334__sample_1
generated.v preview
module verified_radix2_div (
    input clk,
    input rst,
    input sign,
    input [7:0] dividend,
    input [7:0] divisor,
    input opn_valid,
    output reg res_valid,
    output reg [15:0] result
);

reg [15:0] SR;
reg [7:0] cnt;
reg start_cnt;
reg NEG_DIVISOR;
reg [7:0] abs_dividend;
reg [7:0] abs_divisor;

always @(posedge clk) begin
    if (rst) begin
        res_valid <= 0;
        SR <= 0;
        cnt <= 0;
        start_cnt <= 0;
    end else begin
        if (opn_valid && !res_valid) begin
            // Save inputs
            abs_dividend <= dividend;
            abs_divisor <= divisor;
            
            // Handle signed division
            if (sign) begin
...
syntax details
[stderr]
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_1/generated.v:62: syntax error
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_1/generated.v:62: error: Malformed statement
functional details
[stderr]
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_1/functional/generated.v:62: syntax error
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_1/functional/generated.v:62: error: Malformed statement
synthesis details
[error]
None
errors[]
[
  {
    "stage": "syntax",
    "code": "syntax.iverilog_failed",
    "message": "/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_1/generated.v:62: syntax error\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_1/generated.v:62: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  },
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_1/functional/generated.v:62: syntax error\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_1/functional/generated.v:62: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": false,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_1 run_20260426_141859_833435_7c9834 ok failed failed skipped failed syntax /data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_1/generated.v:67: syntax error
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260426_141859_833435_7c9834__sample_1
generated.v preview
module verified_radix2_div (
    input clk,
    input rst,
    input sign,
    input [7:0] dividend,
    input [7:0] divisor,
    input opn_valid,
    input res_ready,
    output reg res_valid,
    output reg [15:0] result
);

reg [15:0] SR;
reg [7:0] cnt;
reg start_cnt;
reg NEG_DIVISOR;
reg [7:0] abs_dividend;
reg [7:0] abs_divisor;

always @(posedge clk) begin
    if (rst) begin
        res_valid <= 0;
        SR <= 0;
        cnt <= 0;
        start_cnt <= 0;
        result <= 0;
    end else begin
        if (opn_valid && !res_valid) begin
            // Save inputs
            abs_dividend <= dividend;
            abs_divisor <= divisor;
...
syntax details
[stderr]
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_1/generated.v:67: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_1/generated.v:67: error: Malformed statement
functional details
[stderr]
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_1/functional/generated.v:67: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_1/functional/generated.v:67: error: Malformed statement
synthesis details
[error]
None
errors[]
[
  {
    "stage": "syntax",
    "code": "syntax.iverilog_failed",
    "message": "/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_1/generated.v:67: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_1/generated.v:67: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  },
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_1/functional/generated.v:67: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_1/functional/generated.v:67: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": false,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_2 run_20260424_203453_201510_6e98ce ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_203453_201510_6e98ce__sample_2
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input   [7:0] dividend,
    input   [7:0] divisor,
    input         opn_valid,
    output        res_valid,
    output [15:0] result
);

    reg  [15:0] SR;
    reg  [7:0]  cnt;
    reg         start_cnt;
    reg  [7:0]  NEG_DIVISOR;
    reg  [7:0]  save_dividend;
    reg  [7:0]  save_divisor;
    reg         division_done;
    reg         quotient_valid;
    
    wire [7:0]  sub_result;
    wire        carry_out;
    
    // Subtractor
    assign sub_result = SR[15:8] - NEG_DIVISOR;
    assign carry_out = SR[15:8] >= NEG_DIVISOR;
    
    // Main process
    always @(posedge clk) begin
        if (rst) begin
            SR <= 16'b0;
            cnt <= 8'b0;
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_2 run_20260424_230145_632624_082334 ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_230145_632624_082334__sample_2
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input   [7:0] dividend,
    input   [7:0] divisor,
    input         opn_valid,
    output        res_valid,
    output [15:0] result
);

    reg  [15:0] SR;
    reg  [7:0]  cnt;
    reg         start_cnt;
    reg  [7:0]  NEG_DIVISOR;
    reg  [7:0]  dividend_reg;
    reg  [7:0]  divisor_reg;
    reg         sign_reg;
    reg         quotient;
    reg         remainder;
    reg         carry_out;
    reg         done;

    wire [7:0]  abs_dividend;
    wire [7:0]  abs_divisor;

    assign abs_dividend = sign_reg ? (dividend_reg[7] ? ~dividend_reg + 1 : dividend_reg) : dividend_reg;
    assign abs_divisor = sign_reg ? (divisor_reg[7] ? ~divisor_reg + 1 : divisor_reg) : divisor_reg;

    always @(posedge clk) begin
        if (rst) begin
            SR <= 16'b0;
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_2 run_20260426_141859_833435_7c9834 ok failed failed skipped failed syntax /data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_2/generated.v:63: syntax error
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260426_141859_833435_7c9834__sample_2
generated.v preview
module verified_radix2_div (
    input clk,
    input rst,
    input sign,
    input [7:0] dividend,
    input [7:0] divisor,
    input opn_valid,
    input res_ready,
    output reg res_valid,
    output reg [15:0] result
);

reg [15:0] SR;
reg [7:0] cnt;
reg start_cnt;
reg NEG_DIVISOR;
reg [7:0] abs_dividend;
reg [7:0] abs_divisor;

always @(posedge clk) begin
    if (rst) begin
        res_valid <= 0;
        SR <= 0;
        cnt <= 0;
        start_cnt <= 0;
    end else begin
        if (opn_valid && !res_valid) begin
            // Save inputs
            abs_dividend <= dividend;
            abs_divisor <= divisor;
            
            // Handle sign
...
syntax details
[stderr]
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_2/generated.v:63: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_2/generated.v:63: error: Malformed statement
functional details
[stderr]
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_2/functional/generated.v:63: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_2/functional/generated.v:63: error: Malformed statement
synthesis details
[error]
None
errors[]
[
  {
    "stage": "syntax",
    "code": "syntax.iverilog_failed",
    "message": "/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_2/generated.v:63: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_2/generated.v:63: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  },
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_2/functional/generated.v:63: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_2/functional/generated.v:63: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": false,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_3 run_20260424_203453_201510_6e98ce ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_203453_201510_6e98ce__sample_3
generated.v preview
module verified_radix2_div (
    input clk,
    input rst,
    input sign,
    input [7:0] dividend,
    input [7:0] divisor,
    input opn_valid,
    output reg res_valid,
    output reg [15:0] result
);

reg [15:0] SR;
reg [7:0] cnt;
reg start_cnt;
reg NEG_DIVISOR;
reg [15:0] temp_result;

always @(posedge clk) begin
    if (rst) begin
        res_valid <= 0;
        SR <= 0;
        cnt <= 0;
        start_cnt <= 0;
        NEG_DIVISOR <= 0;
        result <= 0;
    end else begin
        if (opn_valid && !res_valid) begin
            // Save inputs
            SR <= {dividend, 1'b0};
            NEG_DIVISOR <= -divisor;
            cnt <= 1;
            start_cnt <= 1;
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_3 run_20260424_230145_632624_082334 ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_230145_632624_082334__sample_3
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input   [7:0] dividend,
    input   [7:0] divisor,
    input         opn_valid,
    output        res_valid,
    output [15:0] result
);

    reg  [15:0] SR;
    reg  [7:0]  cnt;
    reg         start_cnt;
    reg  [7:0]  NEG_DIVISOR;
    reg  [7:0]  dividend_reg;
    reg  [7:0]  divisor_reg;
    reg         sign_reg;
    reg         quotient;
    reg         remainder;
    reg         carry_out;
    reg         done;

    wire [7:0]  abs_dividend;
    wire [7:0]  abs_divisor;

    assign abs_dividend = sign_reg ? (dividend_reg[7] ? ~dividend_reg + 1 : dividend_reg) : dividend_reg;
    assign abs_divisor = sign_reg ? (divisor_reg[7] ? ~divisor_reg + 1 : divisor_reg) : divisor_reg;

    always @(posedge clk) begin
        if (rst) begin
            SR <= 16'b0;
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_3 run_20260426_141859_833435_7c9834 ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260426_141859_833435_7c9834__sample_3
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input  [7:0]  dividend,
    input  [7:0]  divisor,
    input         opn_valid,
    input         res_ready,
    output        res_valid,
    output [15:0] result
);

    reg  [7:0]  dividend_reg;
    reg  [7:0]  divisor_reg;
    reg  [15:0] SR;
    reg  [7:0]  NEG_DIVISOR;
    reg  [2:0]  cnt;
    reg         start_cnt;
    reg         quotient_sign;
    reg         remainder_sign;
    reg         done;
    reg  [15:0] final_result;

    // Register to hold the result
    reg [15:0] result_reg;

    // Output logic
    assign result = result_reg;
    assign res_valid = done && !res_ready;

    always @(posedge clk) begin
        if (rst) begin
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_4 run_20260424_203453_201510_6e98ce ok failed failed skipped failed syntax /data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_4/generated.v:56: error: result is not a valid l-value in verified_radix2_div.
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_203453_201510_6e98ce__sample_4
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input   [7:0] dividend,
    input   [7:0] divisor,
    input         opn_valid,
    output        res_valid,
    output [15:0] result
);

    reg  [15:0] SR;
    reg  [7:0]  cnt;
    reg         start_cnt;
    reg  [7:0]  NEG_DIVISOR;
    reg  [7:0]  dividend_reg;
    reg  [7:0]  divisor_reg;
    reg         sign_reg;
    reg         quotient;
    reg         remainder;
    reg         carry_out;
    reg         done;

    wire [7:0]  abs_dividend;
    wire [7:0]  abs_divisor;
    wire [15:0] shifted_dividend;

    assign abs_dividend = sign_reg ? ~dividend_reg + 1 : dividend_reg;
    assign abs_divisor = sign_reg ? ~divisor_reg + 1 : divisor_reg;
    assign shifted_dividend = {abs_dividend, 1'b0};

    always @(posedge clk) begin
...
syntax details
[stderr]
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_4/generated.v:56: error: result is not a valid l-value in verified_radix2_div.
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_4/generated.v:9:      : result is declared here as wire.
1 error(s) during elaboration.
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "syntax",
    "code": "syntax.iverilog_failed",
    "message": "/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_4/generated.v:56: error: result is not a valid l-value in verified_radix2_div.\n/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_4/generated.v:9:      : result is declared here as wire.\n1 error(s) during elaboration.\n",
    "retryable": false,
    "details": {}
  },
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": false,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_4 run_20260424_230145_632624_082334 ok failed failed skipped failed syntax /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:77: error: result is not a valid l-value in verified_radix2_div.
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_230145_632624_082334__sample_4
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input   [7:0] dividend,
    input   [7:0] divisor,
    input         opn_valid,
    output        res_valid,
    output [15:0] result
);

    reg  [15:0] SR;
    reg  [7:0]  cnt;
    reg         start_cnt;
    reg  [7:0]  NEG_DIVISOR;
    reg  [7:0]  DIVIDEND_SAVE;
    reg  [7:0]  DIVISOR_SAVE;
    reg         DIVISOR_NEG;
    reg         DIVIDEND_NEG;
    reg         quotient_sign;
    reg         remainder_sign;
    reg         result_valid_reg;

    wire [7:0]  abs_dividend;
    wire [7:0]  abs_divisor;
    wire        carry_out;
    wire [7:0]  sub_result;

    assign abs_dividend = DIVIDEND_NEG ? ~DIVIDEND_SAVE + 1 : DIVIDEND_SAVE;
    assign abs_divisor = DIVISOR_NEG ? ~DIVISOR_SAVE + 1 : DIVISOR_SAVE;

    assign sub_result = SR[15:8] - NEG_DIVISOR;
...
syntax details
[stderr]
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:77: error: result is not a valid l-value in verified_radix2_div.
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:9:      : result is declared here as wire.
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:79: error: result is not a valid l-value in verified_radix2_div.
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:9:      : result is declared here as wire.
2 error(s) during elaboration.
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "syntax",
    "code": "syntax.iverilog_failed",
    "message": "/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:77: error: result is not a valid l-value in verified_radix2_div.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:9:      : result is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:79: error: result is not a valid l-value in verified_radix2_div.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:9:      : result is declared here as wire.\n2 error(s) during elaboration.\n",
    "retryable": false,
    "details": {}
  },
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": false,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_4 run_20260426_141859_833435_7c9834 ok failed failed skipped failed syntax /data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:77: syntax error
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260426_141859_833435_7c9834__sample_4
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input  [7:0]  dividend,
    input  [7:0]  divisor,
    input         opn_valid,
    input         res_ready,
    output        res_valid,
    output [15:0] result
);

    reg  [7:0]  dividend_reg;
    reg  [7:0]  divisor_reg;
    reg  [15:0] SR;
    reg  [7:0]  NEG_DIVISOR;
    reg  [2:0]  cnt;
    reg         start_cnt;
    reg         quotient_sign;
    reg         remainder_sign;
    reg         done;
    reg  [15:0] final_result;

    // Register to hold the result
    reg [15:0] result_reg;

    // Output logic
    assign result = result_reg;
    assign res_valid = done && !res_ready;

    always @(posedge clk) begin
        if (rst) begin
...
syntax details
[stderr]
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:77: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:77: error: Malformed statement
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:78: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:78: error: Malformed statement
functional details
[stderr]
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/functional/generated.v:77: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/functional/generated.v:77: error: Malformed statement
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/functional/generated.v:78: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/functional/generated.v:78: error: Malformed statement
synthesis details
[error]
None
errors[]
[
  {
    "stage": "syntax",
    "code": "syntax.iverilog_failed",
    "message": "/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:77: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:77: error: Malformed statement\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:78: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/generated.v:78: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  },
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/functional/generated.v:77: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/functional/generated.v:77: error: Malformed statement\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/functional/generated.v:78: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_4/functional/generated.v:78: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": false,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_5 run_20260424_203453_201510_6e98ce ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_203453_201510_6e98ce__sample_5
generated.v preview
module verified_radix2_div (
    input clk,
    input rst,
    input sign,
    input [7:0] dividend,
    input [7:0] divisor,
    input opn_valid,
    output reg res_valid,
    output reg [15:0] result
);

reg [15:0] SR;
reg [7:0] cnt;
reg start_cnt;
reg NEG_DIVISOR;
reg [7:0] abs_dividend;
reg [7:0] abs_divisor;

always @(posedge clk) begin
    if (rst) begin
        res_valid <= 0;
        SR <= 0;
        cnt <= 0;
        start_cnt <= 0;
        NEG_DIVISOR <= 0;
        abs_dividend <= 0;
        abs_divisor <= 0;
    end else begin
        if (opn_valid && !res_valid) begin
            // Save inputs
            abs_dividend <= dividend;
            abs_divisor <= divisor;
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_5 run_20260424_230145_632624_082334 ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_230145_632624_082334__sample_5
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input   [7:0] dividend,
    input   [7:0] divisor,
    input         opn_valid,
    output        res_valid,
    output [15:0] result
);

    reg  [15:0] SR;
    reg  [7:0]  cnt;
    reg         start_cnt;
    reg  [7:0]  NEG_DIVISOR;
    reg  [7:0]  dividend_reg;
    reg  [7:0]  divisor_reg;
    reg         sign_reg;
    
    wire [7:0]  sub_result;
    wire        carry_out;
    
    assign sub_result = SR[15:8] - NEG_DIVISOR;
    assign carry_out = SR[15] & ~sub_result[7];
    
    assign res_valid = ~start_cnt & ~rst;
    
    always @(posedge clk) begin
        if (rst) begin
            SR <= 16'b0;
            cnt <= 8'b0;
            start_cnt <= 1'b0;
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_5 run_20260426_141859_833435_7c9834 ok failed failed skipped failed syntax /data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_5/generated.v:94: syntax error
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260426_141859_833435_7c9834__sample_5
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input  [7:0]  dividend,
    input  [7:0]  divisor,
    input         opn_valid,
    input         res_ready,
    output        res_valid,
    output [15:0] result
);

    reg  [7:0]  dividend_reg;
    reg  [7:0]  divisor_reg;
    reg  [15:0] SR;
    reg  [7:0]  NEG_DIVISOR;
    reg  [2:0]  cnt;
    reg         start_cnt;
    reg         quotient_sign;
    reg         remainder_sign;
    reg         done;
    reg  [15:0] final_result;

    // Register to hold the result
    reg [15:0] result_reg;

    // Output logic
    assign result = result_reg;
    assign res_valid = done && !res_ready;

    always @(posedge clk) begin
        if (rst) begin
...
syntax details
[stderr]
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_5/generated.v:94: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_5/generated.v:94: error: Malformed statement
functional details
[stderr]
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_5/functional/generated.v:94: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_5/functional/generated.v:94: error: Malformed statement
synthesis details
[error]
None
errors[]
[
  {
    "stage": "syntax",
    "code": "syntax.iverilog_failed",
    "message": "/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_5/generated.v:94: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_5/generated.v:94: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  },
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_5/functional/generated.v:94: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_5/functional/generated.v:94: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": false,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_6 run_20260424_203453_201510_6e98ce ok failed failed skipped failed syntax /data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_6/generated.v:65: syntax error
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_203453_201510_6e98ce__sample_6
generated.v preview
module verified_radix2_div (
    input clk,
    input rst,
    input sign,
    input [7:0] dividend,
    input [7:0] divisor,
    input opn_valid,
    output reg res_valid,
    output reg [15:0] result
);

reg [15:0] SR;
reg [7:0] cnt;
reg start_cnt;
reg NEG_DIVISOR;
reg [7:0] abs_dividend;
reg [7:0] abs_divisor;

always @(posedge clk) begin
    if (rst) begin
        res_valid <= 0;
        SR <= 0;
        cnt <= 0;
        start_cnt <= 0;
        NEG_DIVISOR <= 0;
        abs_dividend <= 0;
        abs_divisor <= 0;
    end else begin
        if (opn_valid && !res_valid) begin
            // Save inputs
            abs_dividend <= dividend;
            abs_divisor <= divisor;
...
syntax details
[stderr]
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_6/generated.v:65: syntax error
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_6/generated.v:65: error: Malformed statement
functional details
[stderr]
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_6/functional/generated.v:65: syntax error
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_6/functional/generated.v:65: error: Malformed statement
synthesis details
[error]
None
errors[]
[
  {
    "stage": "syntax",
    "code": "syntax.iverilog_failed",
    "message": "/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_6/generated.v:65: syntax error\n/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_6/generated.v:65: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  },
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_6/functional/generated.v:65: syntax error\n/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_6/functional/generated.v:65: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": false,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_6 run_20260424_230145_632624_082334 ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_230145_632624_082334__sample_6
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input   [7:0] dividend,
    input   [7:0] divisor,
    input         opn_valid,
    output        res_valid,
    output [15:0] result
);

    reg  [15:0] SR;
    reg  [7:0]  cnt;
    reg         start_cnt;
    reg  [7:0]  NEG_DIVISOR;
    reg  [7:0]  DIVIDEND_SAVE;
    reg  [7:0]  DIVISOR_SAVE;
    reg         SIGN_SAVE;
    reg         DIVIDEND_NEG;
    reg         DIVISOR_NEG;
    reg         QUOTIENT_NEG;
    reg         DONE;
    
    wire [7:0]  SUBTRACT_RESULT;
    wire        CARRY_OUT;
    wire [15:0] SR_NEXT;
    wire [15:0] SR_SHIFTED;
    wire [15:0] SR_INSERT_CARRY;
    
    // Subtractor
    assign SUBTRACT_RESULT = SR[15:8] - NEG_DIVISOR;
    assign CARRY_OUT = ~SR[15] & SR[14] & SR[13] & SR[12] & SR[11] & SR[10] & SR[9] & SR[8];
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_6 run_20260426_141859_833435_7c9834 ok failed failed skipped failed syntax /data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_6/generated.v:75: syntax error
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260426_141859_833435_7c9834__sample_6
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input  [7:0]  dividend,
    input  [7:0]  divisor,
    input         opn_valid,
    input         res_ready,
    output        res_valid,
    output [15:0] result
);

    reg  [7:0]  dividend_reg;
    reg  [7:0]  divisor_reg;
    reg  [15:0] SR;
    reg  [7:0]  NEG_DIVISOR;
    reg  [2:0]  cnt;
    reg         start_cnt;
    reg         quotient_sign;
    reg         remainder_sign;
    reg         done;
    reg  [15:0] final_result;

    // Register to hold the result
    reg [15:0] result_reg;

    // Output logic
    assign result = result_reg;
    assign res_valid = done && !res_ready;

    always @(posedge clk) begin
        if (rst) begin
...
syntax details
[stderr]
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_6/generated.v:75: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_6/generated.v:75: error: Malformed statement
functional details
[stderr]
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_6/functional/generated.v:75: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_6/functional/generated.v:75: error: Malformed statement
synthesis details
[error]
None
errors[]
[
  {
    "stage": "syntax",
    "code": "syntax.iverilog_failed",
    "message": "/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_6/generated.v:75: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_6/generated.v:75: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  },
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_6/functional/generated.v:75: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_6/functional/generated.v:75: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": false,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_7 run_20260424_203453_201510_6e98ce ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_203453_201510_6e98ce__sample_7
generated.v preview
module verified_radix2_div (
    input clk,
    input rst,
    input sign,
    input [7:0] dividend,
    input [7:0] divisor,
    input opn_valid,
    output reg res_valid,
    output reg [15:0] result
);

reg [15:0] SR;
reg [7:0] cnt;
reg start_cnt;
reg NEG_DIVISOR;
reg [15:0] temp_result;

always @(posedge clk) begin
    if (rst) begin
        res_valid <= 0;
        SR <= 0;
        cnt <= 0;
        start_cnt <= 0;
        NEG_DIVISOR <= 0;
        result <= 0;
    end else begin
        if (opn_valid && !res_valid) begin
            // Save inputs
            SR <= {dividend, 1'b0};
            NEG_DIVISOR <= -divisor;
            cnt <= 1;
            start_cnt <= 1;
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_7 run_20260424_230145_632624_082334 ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_230145_632624_082334__sample_7
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input   [7:0] dividend,
    input   [7:0] divisor,
    input         opn_valid,
    output        res_valid,
    output [15:0] result
);

    reg  [15:0] SR;
    reg  [7:0]  cnt;
    reg         start_cnt;
    reg  [7:0]  NEG_DIVISOR;
    reg  [7:0]  dividend_reg;
    reg  [7:0]  divisor_reg;
    reg         sign_reg;
    
    wire [7:0]  sub_result;
    wire        carry_out;
    
    assign sub_result = SR[15:8] - NEG_DIVISOR;
    assign carry_out = SR[15] & ~sub_result[7];
    
    assign res_valid = ~start_cnt & ~rst;
    
    always @(posedge clk) begin
        if (rst) begin
            SR <= 16'b0;
            cnt <= 8'b0;
            start_cnt <= 1'b0;
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_7 run_20260426_141859_833435_7c9834 ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260426_141859_833435_7c9834__sample_7
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input  [7:0]  dividend,
    input  [7:0]  divisor,
    input         opn_valid,
    input         res_ready,
    output        res_valid,
    output [15:0] result
);

    reg  [7:0]  dividend_reg;
    reg  [7:0]  divisor_reg;
    reg  [15:0] SR;
    reg  [7:0]  NEG_DIVISOR;
    reg  [2:0]  cnt;
    reg         start_cnt;
    reg         quotient_sign;
    reg         remainder_sign;
    reg         done;
    reg  [15:0] final_result;

    // Register to hold the result
    reg [15:0] result_reg;

    // Output signal
    assign res_valid = done && !res_ready;

    // Main process
    always @(posedge clk) begin
        if (rst) begin
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_8 run_20260424_203453_201510_6e98ce ok failed failed skipped failed syntax /data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:46: error: res_valid is not a valid l-value in verified_radix2_div.
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_203453_201510_6e98ce__sample_8
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input   [7:0] dividend,
    input   [7:0] divisor,
    input         opn_valid,
    output        res_valid,
    output [15:0] result
);

    reg  [15:0] SR;
    reg  [7:0]  cnt;
    reg         start_cnt;
    reg  [7:0]  NEG_DIVISOR;
    reg  [7:0]  save_dividend;
    reg  [7:0]  save_divisor;
    reg         division_complete;
    reg         quotient_bit;
    reg         remainder_bit;
    reg         carry_out;
    
    // Result register
    reg [15:0] output_result;
    
    // Internal signals for computation
    wire [15:0] subtraction_result;
    wire [15:0] shifted_SR;
    wire [15:0] new_SR;
    
    // Compute subtraction
    assign subtraction_result = SR + {1'b1, NEG_DIVISOR, 8'b0};
...
syntax details
[stderr]
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:46: error: res_valid is not a valid l-value in verified_radix2_div.
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:8:      : res_valid is declared here as wire.
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:65: error: res_valid is not a valid l-value in verified_radix2_div.
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:8:      : res_valid is declared here as wire.
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:72: error: res_valid is not a valid l-value in verified_radix2_div.
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:8:      : res_valid is declared here as wire.
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:80: error: res_valid is not a valid l-value in verified_radix2_div.
/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:8:      : res_valid is declared here as wire.
4 error(s) during elaboration.
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "syntax",
    "code": "syntax.iverilog_failed",
    "message": "/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:46: error: res_valid is not a valid l-value in verified_radix2_div.\n/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:8:      : res_valid is declared here as wire.\n/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:65: error: res_valid is not a valid l-value in verified_radix2_div.\n/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:8:      : res_valid is declared here as wire.\n/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:72: error: res_valid is not a valid l-value in verified_radix2_div.\n/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:8:      : res_valid is declared here as wire.\n/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:80: error: res_valid is not a valid l-value in verified_radix2_div.\n/data/eval/out/run_20260424_203453_201510_6e98ce/tmp/qwen3_coder_30b/13_rtllm_arithmetic__task_10/sample_8/generated.v:8:      : res_valid is declared here as wire.\n4 error(s) during elaboration.\n",
    "retryable": false,
    "details": {}
  },
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": false,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_8 run_20260424_230145_632624_082334 ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_230145_632624_082334__sample_8
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input   [7:0] dividend,
    input   [7:0] divisor,
    input         opn_valid,
    output        res_valid,
    output [15:0] result
);

    reg  [15:0] SR;
    reg  [7:0]  cnt;
    reg         start_cnt;
    reg  [7:0]  NEG_DIVISOR;
    reg  [7:0]  dividend_reg;
    reg  [7:0]  divisor_reg;
    reg         sign_reg;
    reg         quotient;
    reg         remainder;
    reg         carry_out;
    reg         done;

    wire [7:0]  abs_dividend;
    wire [7:0]  abs_divisor;

    assign abs_dividend = sign_reg ? (dividend_reg[7] ? ~dividend_reg + 1 : dividend_reg) : dividend_reg;
    assign abs_divisor = sign_reg ? (divisor_reg[7] ? ~divisor_reg + 1 : divisor_reg) : divisor_reg;

    always @(posedge clk) begin
        if (rst) begin
            SR <= 16'b0;
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_8 run_20260426_141859_833435_7c9834 ok failed failed skipped failed syntax /data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/generated.v:75: syntax error
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260426_141859_833435_7c9834__sample_8
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input  [7:0]  dividend,
    input  [7:0]  divisor,
    input         opn_valid,
    input         res_ready,
    output        res_valid,
    output [15:0] result
);

    reg  [7:0]  dividend_reg;
    reg  [7:0]  divisor_reg;
    reg  [15:0] SR;
    reg  [7:0]  NEG_DIVISOR;
    reg  [2:0]  cnt;
    reg         start_cnt;
    reg         quotient_sign;
    reg         remainder_sign;
    reg         done;
    reg  [15:0] final_result;

    // Register to hold the result
    reg [15:0] result_reg;

    // Output logic
    assign result = result_reg;
    assign res_valid = done && !res_ready;

    always @(posedge clk) begin
        if (rst) begin
...
syntax details
[stderr]
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/generated.v:75: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/generated.v:75: error: Malformed statement
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/generated.v:76: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/generated.v:76: error: Malformed statement
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/generated.v:77: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/generated.v:77: error: Malformed statement
functional details
[stderr]
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/functional/generated.v:75: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/functional/generated.v:75: error: Malformed statement
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/functional/generated.v:76: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/functional/generated.v:76: error: Malformed statement
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/functional/generated.v:77: syntax error
/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/functional/generated.v:77: error: Malformed statement
synthesis details
[error]
None
errors[]
[
  {
    "stage": "syntax",
    "code": "syntax.iverilog_failed",
    "message": "/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/generated.v:75: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/generated.v:75: error: Malformed statement\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/generated.v:76: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/generated.v:76: error: Malformed statement\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/generated.v:77: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/generated.v:77: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  },
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/functional/generated.v:75: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/functional/generated.v:75: error: Malformed statement\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/functional/generated.v:76: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/functional/generated.v:76: error: Malformed statement\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/functional/generated.v:77: syntax error\n/data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/rtllm__13_rtllm_arithmetic__task_10/sample_8/functional/generated.v:77: error: Malformed statement\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": false,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_9 run_20260424_203453_201510_6e98ce ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_203453_201510_6e98ce__sample_9
generated.v preview
module verified_radix2_div (
    input clk,
    input rst,
    input sign,
    input [7:0] dividend,
    input [7:0] divisor,
    input opn_valid,
    output reg res_valid,
    output reg [15:0] result
);

reg [15:0] SR;
reg [7:0] cnt;
reg start_cnt;
reg NEG_DIVISOR;
reg [15:0] temp_result;

always @(posedge clk) begin
    if (rst) begin
        res_valid <= 0;
        SR <= 0;
        cnt <= 0;
        start_cnt <= 0;
        NEG_DIVISOR <= 0;
        result <= 0;
    end else begin
        if (opn_valid && !res_valid) begin
            // Save inputs
            SR <= {dividend, 1'b0};
            NEG_DIVISOR <= -divisor;
            cnt <= 1;
            start_cnt <= 1;
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_9 run_20260424_230145_632624_082334 ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_230145_632624_082334__sample_9
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input   [7:0] dividend,
    input   [7:0] divisor,
    input         opn_valid,
    output        res_valid,
    output [15:0] result
);

    reg  [15:0] SR;
    reg  [7:0]  cnt;
    reg         start_cnt;
    reg  [7:0]  NEG_DIVISOR;
    reg  [7:0]  DIVIDEND_REG;
    reg  [7:0]  DIVISOR_REG;
    reg         DIVISOR_NEG;
    reg         DIVIDEND_NEG;
    reg         SIGN_REG;
    
    wire [7:0]  SUBTRACT_RESULT;
    wire        CARRY_OUT;
    wire        QUOTIENT_BIT;
    
    assign SUBTRACT_RESULT = SR[15:8] - NEG_DIVISOR;
    assign CARRY_OUT = ~SR[15] & SUBTRACT_RESULT[7];
    assign QUOTIENT_BIT = ~CARRY_OUT;
    
    assign result = SR;
    assign res_valid = ~rst & ~start_cnt & (cnt == 8'd8);
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_9 run_20260426_141859_833435_7c9834 ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260426_141859_833435_7c9834__sample_9
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input  [7:0]  dividend,
    input  [7:0]  divisor,
    input         opn_valid,
    input         res_ready,
    output        res_valid,
    output [15:0] result
);

    reg  [7:0]  dividend_reg;
    reg  [7:0]  divisor_reg;
    reg  [15:0] SR;
    reg  [7:0]  NEG_DIVISOR;
    reg  [2:0]  cnt;
    reg         start_cnt;
    reg         quotient_sign;
    reg         remainder_sign;
    reg         done;
    reg  [15:0] final_result;

    // Register to hold the result
    reg [15:0] result_reg;

    // Output signal
    assign res_valid = done && !res_ready;

    // Result assignment
    assign result = result_reg;
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_10 run_20260424_203453_201510_6e98ce ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_203453_201510_6e98ce__sample_10
generated.v preview
module verified_radix2_div (
    input clk,
    input rst,
    input sign,
    input [7:0] dividend,
    input [7:0] divisor,
    input opn_valid,
    output reg res_valid,
    output reg [15:0] result
);

reg [15:0] SR;
reg [7:0] cnt;
reg start_cnt;
reg NEG_DIVISOR;
reg [15:0] temp_result;

always @(posedge clk) begin
    if (rst) begin
        res_valid <= 0;
        SR <= 0;
        cnt <= 0;
        start_cnt <= 0;
        NEG_DIVISOR <= 0;
        result <= 0;
    end else begin
        if (opn_valid && !res_valid) begin
            // Save inputs
            SR <= {dividend, 1'b0};
            NEG_DIVISOR <= -divisor;
            cnt <= 1;
            start_cnt <= 1;
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_10 run_20260424_230145_632624_082334 ok failed failed skipped failed syntax /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:40: error: res_valid is not a valid l-value in verified_radix2_div.
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260424_230145_632624_082334__sample_10
generated.v preview
module verified_radix2_div (
    input         clk,
    input         rst,
    input         sign,
    input   [7:0] dividend,
    input   [7:0] divisor,
    input         opn_valid,
    output        res_valid,
    output [15:0] result
);

    reg  [15:0] SR;
    reg  [7:0]  cnt;
    reg         start_cnt;
    reg  [7:0]  NEG_DIVISOR;
    reg  [7:0]  dividend_reg;
    reg  [7:0]  divisor_reg;
    reg         sign_reg;
    reg         quotient;
    reg         remainder;
    reg         carry_out;
    reg         done;

    wire [7:0]  abs_dividend;
    wire [7:0]  abs_divisor;
    wire [15:0] shifted_sr;
    wire [15:0] subtracted_sr;

    // Absolute value calculation
    assign abs_dividend = sign_reg ? ~dividend_reg + 1 : dividend_reg;
    assign abs_divisor = sign_reg ? ~divisor_reg + 1 : divisor_reg;
...
syntax details
[stderr]
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:40: error: res_valid is not a valid l-value in verified_radix2_div.
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:8:      : res_valid is declared here as wire.
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:57: error: res_valid is not a valid l-value in verified_radix2_div.
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:8:      : res_valid is declared here as wire.
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:62: error: subtracted_sr is not a valid l-value in verified_radix2_div.
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:27:      : subtracted_sr is declared here as wire.
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:69: error: res_valid is not a valid l-value in verified_radix2_div.
/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:8:      : res_valid is declared here as wire.
4 error(s) during elaboration.
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "syntax",
    "code": "syntax.iverilog_failed",
    "message": "/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:40: error: res_valid is not a valid l-value in verified_radix2_div.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:8:      : res_valid is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:57: error: res_valid is not a valid l-value in verified_radix2_div.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:8:      : res_valid is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:62: error: subtracted_sr is not a valid l-value in verified_radix2_div.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:27:      : subtracted_sr is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:69: error: res_valid is not a valid l-value in verified_radix2_div.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/rtllm__13_rtllm_arithmetic__task_10/sample_10/generated.v:8:      : res_valid is declared here as wire.\n4 error(s) during elaboration.\n",
    "retryable": false,
    "details": {}
  },
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": false,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}
sample_10 run_20260426_141859_833435_7c9834 ok ok failed skipped failed functional /workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
Open details
sample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\rtllm\tasks\rtllm__13_rtllm_arithmetic__task_10\samples\run_20260426_141859_833435_7c9834__sample_10
generated.v preview
module verified_radix2_div (
    input clk,
    input rst,
    input sign,
    input [7:0] dividend,
    input [7:0] divisor,
    input opn_valid,
    input res_ready,
    output reg res_valid,
    output reg [15:0] result
);

reg [15:0] SR;
reg [7:0] cnt;
reg start_cnt;
reg NEG_DIVISOR;
reg [7:0] dividend_reg;
reg [7:0] divisor_reg;

always @(posedge clk) begin
    if (rst) begin
        res_valid <= 0;
        SR <= 0;
        cnt <= 0;
        start_cnt <= 0;
        NEG_DIVISOR <= 0;
        dividend_reg <= 0;
        divisor_reg <= 0;
    end else begin
        if (opn_valid && !res_valid) begin
            dividend_reg <= dividend;
            divisor_reg <= divisor;
...
functional details
[stderr]
/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div
3 error(s) during elaboration.
*** These modules were missing:
        radix2_div referenced 1 times.
***
synthesis details
[error]
None
errors[]
[
  {
    "stage": "functional",
    "code": "functional.testbench_failed",
    "message": "/workspace/banchmarks/rtllm/13_rtllm_arithmetic/task_10/tb.v:14: error: Unknown module type: radix2_div\n3 error(s) during elaboration.\n*** These modules were missing:\n        radix2_div referenced 1 times.\n***\n",
    "retryable": false,
    "details": {}
  }
]
outcome
{
  "llm_ok": true,
  "extract_ok": true,
  "syntax_ok": true,
  "functional_ok": false,
  "openlane_ok": false,
  "syntax_required": true,
  "functional_required": true,
  "openlane_required": true,
  "final_success": false,
  "success": false
}