05_dft_testability / task_53 | mbist_ram_wrapper
Здесь перечислены все реальные попытки этой модели на одной задаче. По каждой попытке можно увидеть, до какой стадии она дошла, где именно сломалась и какое сообщение об ошибке вернулось из syntax, functional или synthesis.
| sample | run | extract_ok | syntax_ok | functional_ok | openlane_ok | final_success | failure_stage | failure_reason | details |
|---|---|---|---|---|---|---|---|---|---|
| sample_1 | run_20260424_144121_405769_1acdc5 | ok | ok | ok | ok | ok | success | Full pipeline success |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_144121_405769_1acdc5__sample_1
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_pattern;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
synthesis details[error] None outcome{
"llm_ok": true,
"extract_ok": true,
"syntax_ok": true,
"functional_ok": true,
"openlane_ok": true,
"syntax_required": true,
"functional_required": true,
"openlane_required": true,
"final_success": true,
"success": true
}
|
| sample_1 | run_20260424_172135_562392_bd9fc2 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_172135_562392_bd9fc2__sample_1
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_pattern;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_1 | run_20260424_230145_632624_082334 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_230145_632624_082334__sample_1
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_pattern;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_1 | run_20260426_141859_833435_7c9834 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260426_141859_833435_7c9834__sample_1
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_pattern;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_144121_405769_1acdc5 | ok | ok | ok | ok | ok | success | Full pipeline success |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_144121_405769_1acdc5__sample_2
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_pattern;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
synthesis details[error] None outcome{
"llm_ok": true,
"extract_ok": true,
"syntax_ok": true,
"functional_ok": true,
"openlane_ok": true,
"syntax_required": true,
"functional_required": true,
"openlane_required": true,
"final_success": true,
"success": true
}
|
| sample_2 | run_20260424_172135_562392_bd9fc2 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_172135_562392_bd9fc2__sample_2
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_pattern;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST falsely reported a failure. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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 | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_230145_632624_082334__sample_2
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_expected;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST falsely reported a failure. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got 11 ERROR: MBIST pattern for address 2 is wrong. Got 22 ERROR: MBIST pattern for address 3 is wrong. Got 00 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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 | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260426_141859_833435_7c9834__sample_2
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_pattern;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_144121_405769_1acdc5 | ok | ok | ok | ok | ok | success | Full pipeline success |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_144121_405769_1acdc5__sample_3
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
wire [7:0] mbist_expected;
assign func_rdata = mem[func_addr];
assign mbist_expected = 8'hA0 | mbist_cycle;
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
mbist_run <= 1'b0;
mbist_state <= 2'b00;
mbist_cycle <= 3'b000;
...
synthesis details[error] None outcome{
"llm_ok": true,
"extract_ok": true,
"syntax_ok": true,
"functional_ok": true,
"openlane_ok": true,
"syntax_required": true,
"functional_required": true,
"openlane_required": true,
"final_success": true,
"success": true
}
|
| sample_3 | run_20260424_172135_562392_bd9fc2 | ok | failed | failed | skipped | failed | syntax | y is not a valid l-value in mbist_ram_wrapper. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_172135_562392_bd9fc2__sample_3
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
wire [7:0] mbist_pattern;
assign mbist_pattern = 8'hA0 | mbist_cycle;
assign func_rdata = mem[func_addr];
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
mbist_state <= 2'b00;
mbist_run <= 1'b0;
mbist_cycle <= 3'b000;
mbist_compare_fail <= 1'b0;
mbist_busy <= 1'b0;
mbist_done <= 1'b0;
...
syntax details[stderr] y is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:63: error: mbist_busy is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:64: error: mbist_done is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:73: error: mbist_busy is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:74: error: mbist_done is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:75: error: mbist_fail is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:12: : mbist_fail is declared here as wire. 10 error(s) during elaboration. functional details[stderr] /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:31: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:32: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:33: error: mbist_fail is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:12: : mbist_fail is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:39: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:46: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:63: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:64: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:73: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:74: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:75: error: mbist_fail is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:12: : mbist_fail is declared here as wire. 10 error(s) during elaboration. synthesis details[error] None errors[][
{
"stage": "syntax",
"code": "syntax.iverilog_failed",
"message": "y is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:63: error: mbist_busy is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:64: error: mbist_done is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:73: error: mbist_busy is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:74: error: mbist_done is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:75: error: mbist_fail is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/generated.v:12: : mbist_fail is declared here as wire.\n10 error(s) during elaboration.\n",
"retryable": false,
"details": {}
},
{
"stage": "functional",
"code": "functional.testbench_failed",
"message": "/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:31: error: mbist_busy is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:32: error: mbist_done is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:33: error: mbist_fail is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:12: : mbist_fail is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:39: error: mbist_done is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:46: error: mbist_busy is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:63: error: mbist_busy is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:64: error: mbist_done is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_3/functional/generated.v:73: error: mbist_busy is not a…
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_230145_632624_082334 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_230145_632624_082334__sample_3
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
wire [7:0] mbist_expected;
assign func_rdata = mem[func_addr];
assign mbist_expected = 8'hA0 | func_addr;
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
mbist_run <= 1'b0;
mbist_state <= 2'b00;
mbist_cycle <= 3'b000;
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST falsely reported a failure. ERROR: MBIST pattern for address 0 is wrong. Got a2 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a2 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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 | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260426_141859_833435_7c9834__sample_3
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
wire [7:0] mbist_expected;
assign func_rdata = mem[func_addr];
assign mbist_expected = 8'hA0 | func_addr;
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
mbist_run <= 1'b0;
mbist_state <= 2'b00;
mbist_cycle <= 3'b000;
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST falsely reported a failure. ERROR: MBIST pattern for address 0 is wrong. Got a2 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a2 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_172135_562392_bd9fc2 | ok | failed | failed | skipped | failed | syntax | y is not a valid l-value in mbist_ram_wrapper. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_172135_562392_bd9fc2__sample_4
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
wire [7:0] mbist_pattern;
assign mbist_pattern = 8'hA0 | mbist_cycle;
assign func_rdata = mem[func_addr];
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
mbist_state <= 2'b00;
mbist_run <= 1'b0;
mbist_cycle <= 3'b000;
mbist_compare_fail <= 1'b0;
mbist_busy <= 1'b0;
mbist_done <= 1'b0;
...
syntax details[stderr] y is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:64: error: mbist_done is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:65: error: mbist_fail is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:12: : mbist_fail is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:74: error: mbist_busy is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:75: error: mbist_done is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:76: error: mbist_fail is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:12: : mbist_fail is declared here as wire. 11 error(s) during elaboration. functional details[stderr] e_4/functional/generated.v:31: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:32: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:33: error: mbist_fail is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:12: : mbist_fail is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:39: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:46: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:63: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:64: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:65: error: mbist_fail is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:12: : mbist_fail is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:74: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:75: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:76: error: mbist_fail is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:12: : mbist_fail is declared here as wire. 11 error(s) during elaboration. synthesis details[error] None errors[][
{
"stage": "syntax",
"code": "syntax.iverilog_failed",
"message": "y is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:64: error: mbist_done is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:65: error: mbist_fail is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:12: : mbist_fail is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:74: error: mbist_busy is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:75: error: mbist_done is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:76: error: mbist_fail is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/generated.v:12: : mbist_fail is declared here as wire.\n11 error(s) during elaboration.\n",
"retryable": false,
"details": {}
},
{
"stage": "functional",
"code": "functional.testbench_failed",
"message": "e_4/functional/generated.v:31: error: mbist_busy is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:32: error: mbist_done is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:33: error: mbist_fail is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:12: : mbist_fail is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:39: error: mbist_done is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:46: error: mbist_busy is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:63: error: mbist_busy is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:64: error: mbist_done is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_4/functional/generated.v:65: error: mbist_fail is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30…
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 | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_230145_632624_082334__sample_4
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_pattern;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_20260426_141859_833435_7c9834 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260426_141859_833435_7c9834__sample_4
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_pattern;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_172135_562392_bd9fc2 | ok | failed | failed | skipped | failed | syntax | y is not a valid l-value in mbist_ram_wrapper. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_172135_562392_bd9fc2__sample_5
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
wire [7:0] mbist_pattern;
assign mbist_pattern = 8'hA0 | mbist_cycle;
assign func_rdata = mem[func_addr];
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
mbist_state <= 2'b00;
mbist_run <= 1'b0;
mbist_cycle <= 3'b000;
mbist_compare_fail <= 1'b0;
mbist_busy <= 1'b0;
mbist_done <= 1'b0;
...
syntax details[stderr] y is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:65: error: mbist_done is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:66: error: mbist_fail is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:12: : mbist_fail is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:75: error: mbist_busy is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:76: error: mbist_done is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:77: error: mbist_fail is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:12: : mbist_fail is declared here as wire. 11 error(s) during elaboration. functional details[stderr] e_5/functional/generated.v:31: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:32: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:33: error: mbist_fail is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:12: : mbist_fail is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:39: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:46: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:64: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:65: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:66: error: mbist_fail is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:12: : mbist_fail is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:75: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:76: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:77: error: mbist_fail is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:12: : mbist_fail is declared here as wire. 11 error(s) during elaboration. synthesis details[error] None errors[][
{
"stage": "syntax",
"code": "syntax.iverilog_failed",
"message": "y is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:65: error: mbist_done is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:66: error: mbist_fail is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:12: : mbist_fail is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:75: error: mbist_busy is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:76: error: mbist_done is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:77: error: mbist_fail is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/generated.v:12: : mbist_fail is declared here as wire.\n11 error(s) during elaboration.\n",
"retryable": false,
"details": {}
},
{
"stage": "functional",
"code": "functional.testbench_failed",
"message": "e_5/functional/generated.v:31: error: mbist_busy is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:32: error: mbist_done is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:33: error: mbist_fail is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:12: : mbist_fail is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:39: error: mbist_done is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:46: error: mbist_busy is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:64: error: mbist_busy is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:65: error: mbist_done is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_5/functional/generated.v:66: error: mbist_fail is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30…
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_230145_632624_082334 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_230145_632624_082334__sample_5
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_expected;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got 11 ERROR: MBIST pattern for address 2 is wrong. Got 22 ERROR: MBIST pattern for address 3 is wrong. Got 00 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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 | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260426_141859_833435_7c9834__sample_5
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_expected;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
syntax details[stderr] /data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/pashencev__05_dft_testability__task_53/sample_5/generated.v:100: warning: Numeric constant truncated to 3 bits. functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_20260424_172135_562392_bd9fc2 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_172135_562392_bd9fc2__sample_6
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
wire [7:0] mbist_expected;
assign func_rdata = mem[func_addr];
assign mbist_expected = 8'hA0 | mbist_cycle;
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
mbist_run <= 1'b0;
mbist_state <= 2'b00;
mbist_cycle <= 3'b000;
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. TEST_FAILED /workspace/banchmarks/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_20260424_230145_632624_082334 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST busy did not drop when test completed. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_230145_632624_082334__sample_6
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
wire [7:0] mbist_expected;
assign func_rdata = mem[func_addr];
assign mbist_expected = 8'hA0 | func_addr;
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
mbist_run <= 1'b0;
mbist_state <= 2'b00;
mbist_cycle <= 3'b000;
...
functional details[stdout] ERROR: MBIST busy did not drop when test completed. ERROR: MBIST done pulse missing at completion. ERROR: MBIST falsely reported a failure. ERROR: MBIST pattern for address 0 is wrong. Got a2 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a2 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST busy did not drop when test completed.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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 | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260426_141859_833435_7c9834__sample_6
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_pattern;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_172135_562392_bd9fc2 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_172135_562392_bd9fc2__sample_7
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
wire [7:0] mbist_expected;
assign func_rdata = mem[func_addr];
assign mbist_expected = 8'hA0 | mbist_cycle;
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
mbist_run <= 1'b0;
mbist_state <= 2'b00;
mbist_cycle <= 3'b000;
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. TEST_FAILED /workspace/banchmarks/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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 | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_230145_632624_082334__sample_7
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_expected;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got 11 ERROR: MBIST pattern for address 2 is wrong. Got 22 ERROR: MBIST pattern for address 3 is wrong. Got 00 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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 | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260426_141859_833435_7c9834__sample_7
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_expected;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
syntax details[stderr] /data/eval/out/run_20260426_141859_833435_7c9834/tmp/qwen_coder_30/pashencev__05_dft_testability__task_53/sample_7/generated.v:100: warning: Numeric constant truncated to 3 bits. functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_172135_562392_bd9fc2 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_172135_562392_bd9fc2__sample_8
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_expected;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. TEST_FAILED /workspace/banchmarks/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_230145_632624_082334 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_230145_632624_082334__sample_8
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_pattern;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST falsely reported a failure. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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 | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260426_141859_833435_7c9834__sample_8
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_pattern;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST falsely reported a failure. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_172135_562392_bd9fc2 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_172135_562392_bd9fc2__sample_9
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_expected;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
syntax details[stderr] /data/eval/out/run_20260424_172135_562392_bd9fc2/tmp/qwen3_coder_30b/05_dft_testability__task_53/sample_9/generated.v:100: warning: Numeric constant truncated to 3 bits. functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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 | failed | failed | skipped | failed | syntax | ncev__05_dft_testability__task_53/sample_9/generated.v:10: : mbist_busy is declared here as wire. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_230145_632624_082334__sample_9
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
wire [7:0] mbist_pattern;
assign mbist_pattern = 8'hA0 | mbist_cycle;
assign func_rdata = mem[func_addr];
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
mbist_state <= 2'b00;
mbist_run <= 1'b0;
mbist_cycle <= 3'b000;
mbist_compare_fail <= 1'b0;
mbist_busy <= 1'b0;
mbist_done <= 1'b0;
...
syntax details[stderr] ncev__05_dft_testability__task_53/sample_9/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:64: error: mbist_done is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:65: error: mbist_fail is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:12: : mbist_fail is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:74: error: mbist_busy is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:75: error: mbist_done is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:76: error: mbist_fail is not a valid l-value in mbist_ram_wrapper. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:12: : mbist_fail is declared here as wire. 11 error(s) during elaboration. functional details[stderr] 10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:32: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:33: error: mbist_fail is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:12: : mbist_fail is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:39: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:46: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:63: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:64: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:65: error: mbist_fail is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:12: : mbist_fail is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:74: error: mbist_busy is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:10: : mbist_busy is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:75: error: mbist_done is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:11: : mbist_done is declared here as wire. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:76: error: mbist_fail is not a valid l-value in tb_task_53.dut. /data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:12: : mbist_fail is declared here as wire. 11 error(s) during elaboration. synthesis details[error] None errors[][
{
"stage": "syntax",
"code": "syntax.iverilog_failed",
"message": "ncev__05_dft_testability__task_53/sample_9/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:64: error: mbist_done is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:65: error: mbist_fail is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:12: : mbist_fail is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:74: error: mbist_busy is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:75: error: mbist_done is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:76: error: mbist_fail is not a valid l-value in mbist_ram_wrapper.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/generated.v:12: : mbist_fail is declared here as wire.\n11 error(s) during elaboration.\n",
"retryable": false,
"details": {}
},
{
"stage": "functional",
"code": "functional.testbench_failed",
"message": "10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:32: error: mbist_done is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:33: error: mbist_fail is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:12: : mbist_fail is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:39: error: mbist_done is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:46: error: mbist_busy is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:63: error: mbist_busy is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:10: : mbist_busy is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:64: error: mbist_done is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:11: : mbist_done is declared here as wire.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:65: error: mbist_fail is not a valid l-value in tb_task_53.dut.\n/data/eval/out/run_20260424_230145_632624_082334/tmp/qwen3_coder_30b/pashencev__05_dft_testability__task_53/sample_9/functional/generated.v:12:…
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_20260426_141859_833435_7c9834 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260426_141859_833435_7c9834__sample_9
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_pattern;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST falsely reported a failure. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_172135_562392_bd9fc2 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_172135_562392_bd9fc2__sample_10
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_pattern;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST falsely reported a failure. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a0 ERROR: MBIST pattern for address 2 is wrong. Got a1 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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 | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260424_230145_632624_082334__sample_10
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
reg [7:0] mbist_expected;
wire mbist_idle = (mbist_state == 2'b00);
wire mbist_write = (mbist_state == 2'b01);
wire mbist_read = (mbist_state == 2'b10);
assign func_rdata = mem[func_addr];
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
...
functional details[stdout] ERROR: MBIST done pulse missing at completion. ERROR: MBIST pattern for address 0 is wrong. Got 00 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got 11 ERROR: MBIST pattern for address 2 is wrong. Got 22 ERROR: MBIST pattern for address 3 is wrong. Got 00 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST done pulse missing at completion.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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_20260426_141859_833435_7c9834 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR: MBIST busy did not drop when test completed. |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\qwen3-coder-30b\rag_on\benchmarks\ilyasov\tasks\ilyasov__05_dft_testability__task_53\samples\run_20260426_141859_833435_7c9834__sample_10
generated.v previewmodule mbist_ram_wrapper (
input clk,
input rst_n,
input func_we,
input [1:0] func_addr,
input [7:0] func_wdata,
output [7:0] func_rdata,
input mbist_en,
input mbist_start,
output mbist_busy,
output mbist_done,
output mbist_fail
);
reg [7:0] mem [0:3];
reg [1:0] mbist_state;
reg mbist_run;
reg [2:0] mbist_cycle;
reg mbist_compare_fail;
wire [7:0] mbist_expected;
assign func_rdata = mem[func_addr];
assign mbist_expected = 8'hA0 | func_addr;
assign mbist_busy = mbist_run;
assign mbist_done = (mbist_cycle == 3'd7) && mbist_run;
assign mbist_fail = mbist_compare_fail;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
mbist_run <= 1'b0;
mbist_state <= 2'b00;
mbist_cycle <= 3'b000;
...
functional details[stdout] ERROR: MBIST busy did not drop when test completed. ERROR: MBIST done pulse missing at completion. ERROR: MBIST falsely reported a failure. ERROR: MBIST pattern for address 0 is wrong. Got a2 ERROR: functional write leaked into MBIST-owned RAM at address 1. Got a2 ERROR: MBIST pattern for address 3 is wrong. Got a2 TEST_FAILED /workspace/banchmarks/pashencev/05_dft_testability/task_53/tb.v:177: $finish called at 146000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR: MBIST busy did not drop when test completed.",
"retryable": false,
"details": {
"marker": "TEST_FAILED"
}
},
{
"stage": "openlane",
"code": "openlane.invalidated_by_functional_failure",
"message": "OpenLane result invalidated because functional validation failed after output-marker correction",
"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
}
|