11_side_channel_constant_time / task_111 | consttime_byte_search
Здесь перечислены все реальные попытки этой модели на одной задаче. По каждой попытке можно увидеть, до какой стадии она дошла, где именно сломалась и какое сообщение об ошибке вернулось из syntax, functional или synthesis.
| sample | run | extract_ok | syntax_ok | functional_ok | openlane_ok | final_success | failure_stage | failure_reason | details |
|---|---|---|---|---|---|---|---|---|---|
| sample_1 | run_20260426_224416_826723_5f6af1 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): done=0 expected=1 |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\deepseek-coder-v2-16b\rag_on\benchmarks\ilyasov\tasks\ilyasov__11_side_channel_constant_time__task_111\samples\run_20260426_224416_826723_5f6af1__sample_1
generated.v previewmodule consttime_byte_search (
input clk,
input rst_n,
input start,
input [63:0] haystack,
input [7:0] needle,
output reg busy,
output reg done,
output reg found,
output reg [2:0] first_index
);
reg [63:0] latched_haystack;
reg [7:0] latched_needle;
reg [2:0] index;
reg match;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
busy <= 0;
done <= 0;
found <= 0;
first_index <= 3'd0;
index <= 3'd0;
match <= 1'b0;
end else if (start && !busy) begin
busy <= 1;
latched_haystack <= haystack;
latched_needle <= needle;
index <= 3'd0;
match <= 1'b0;
end else if (busy) begin
...
functional details[stdout] ERROR (match index 0): done=0 expected=1 ERROR (match index 0): found=0 expected=1 ERROR (return to idle): busy=1 expected=0 ERROR (match index 4): done=0 expected=1 ERROR (match index 4): found=0 expected=1 ERROR (match index 4): first_index=0 expected=4 ERROR (return to idle): busy=1 expected=0 ERROR (multiple matches choose first): done=0 expected=1 ERROR (multiple matches choose first): found=0 expected=1 ERROR (return to idle): busy=1 expected=0 ERROR (no match): done=0 expected=1 ERROR (return to idle): busy=1 expected=0 ERROR (ignore busy start result): done=0 expected=1 ERROR (ignore busy start result): found=0 expected=1 ERROR (ignore busy start result): first_index=0 expected=4 ERROR (idle after ignored start): busy=1 expected=0 ERROR (final search): done=0 expected=1 ERROR (final search): found=0 expected=1 ERROR (final search): first_index=0 expected=4 ERROR (return to idle): busy=1 expected=0 TEST_FAILED /workspace/banchmarks/pashencev/11_side_channel_constant_time/task_111/tb.v:207: $finish called at 676000 (1ps) synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): done=0 expected=1",
"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_224416_826723_5f6af1 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0 |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\deepseek-coder-v2-16b\rag_on\benchmarks\ilyasov\tasks\ilyasov__11_side_channel_constant_time__task_111\samples\run_20260426_224416_826723_5f6af1__sample_2
generated.v previewmodule consttime_byte_search (
input clk,
input rst_n,
input start,
input [63:0] haystack,
input [7:0] needle,
output reg busy,
output reg done,
output reg found,
output reg [2:0] first_index
);
reg [63:0] internal_haystack;
reg [7:0] internal_needle;
reg [2:0] index;
reg match;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
busy <= 0;
done <= 0;
found <= 0;
first_index <= 3'd0;
index <= 3'd0;
match <= 1'b0;
end else if (busy == 0 && start) begin
busy <= 1;
internal_haystack <= haystack;
internal_needle <= needle;
index <= 3'd0;
match <= 1'b0;
end else if (busy) begin
...
functional details[stdout] ERROR (match index 0): first_index=1 expected=0 ERROR (match index 0): first_index=2 expected=0 ERROR (match index 0): first_index=3 expected=0 ERROR (match index 0): first_index=4 expected=0 ERROR (match index 0): first_index=5 expected=0 ERROR (match index 0): first_index=6 expected=0 ERROR (match index 0): done=0 expected=1 ERROR (match index 0): found=0 expected=1 ERROR (match index 0): first_index=7 expected=0 ERROR (return to idle): busy=1 expected=0 ERROR (accept request): first_index=1 expected=0 ERROR (match index 4): first_index=2 expected=0 ERROR (match index 4): first_index=3 expected=0 ERROR (match index 4): first_index=4 expected=0 ERROR (match index 4): first_index=5 expected=0 ERROR (match index 4): first_index=6 expected=0 ERROR (match index 4): first_index=7 expected=0 ERROR (match index 4): done=0 expected=1 ERROR (match index 4): found=0 expected=1 ERROR (match index 4): first_index=1 expected=4 ERROR (return to idle): busy=1 expected=0 ERROR (return to idle): first_index=2 expected=0 ERROR (accept request): first_index=3 expected=0 ERROR (multiple matches choose first): first_index=4 expected=0 ERROR (multiple matches choose first): first_index=5 expected=0 ERROR (multiple matches choose first): first_index=6 expected=0 ERROR (multiple matches choose first): first_index=7 expected=0 ERROR (multiple matches choose first): first_index=1 expected=0 ERROR (multiple matches choose first): first_index=2 expected=0 ERROR (multiple matches choose first): done=0 expected=1 ERROR (multiple matches choose first): found=0 expected=1 ... synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0",
"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_224416_826723_5f6af1 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0 |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\deepseek-coder-v2-16b\rag_on\benchmarks\ilyasov\tasks\ilyasov__11_side_channel_constant_time__task_111\samples\run_20260426_224416_826723_5f6af1__sample_3
generated.v previewmodule consttime_byte_search (
input clk,
input rst_n,
input start,
input [63:0] haystack,
input [7:0] needle,
output reg busy,
output reg done,
output reg found,
output reg [2:0] first_index
);
reg [63:0] internal_haystack;
reg [7:0] internal_needle;
reg [2:0] index;
reg match;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
busy <= 0;
done <= 0;
found <= 0;
first_index <= 3'd0;
index <= 3'd0;
match <= 1'b0;
end else if (busy == 0 && start) begin
busy <= 1;
internal_haystack <= haystack;
internal_needle <= needle;
index <= 3'd0;
match <= 1'b0;
end else if (busy) begin
...
functional details[stdout] ERROR (match index 0): first_index=1 expected=0 ERROR (match index 0): first_index=2 expected=0 ERROR (match index 0): first_index=3 expected=0 ERROR (match index 0): first_index=4 expected=0 ERROR (match index 0): first_index=5 expected=0 ERROR (match index 0): first_index=6 expected=0 ERROR (match index 0): done=0 expected=1 ERROR (match index 0): found=0 expected=1 ERROR (match index 0): first_index=7 expected=0 ERROR (return to idle): busy=1 expected=0 ERROR (accept request): first_index=1 expected=0 ERROR (match index 4): first_index=2 expected=0 ERROR (match index 4): first_index=3 expected=0 ERROR (match index 4): first_index=4 expected=0 ERROR (match index 4): first_index=5 expected=0 ERROR (match index 4): first_index=6 expected=0 ERROR (match index 4): first_index=7 expected=0 ERROR (match index 4): done=0 expected=1 ERROR (match index 4): found=0 expected=1 ERROR (match index 4): first_index=1 expected=4 ERROR (return to idle): busy=1 expected=0 ERROR (return to idle): first_index=2 expected=0 ERROR (accept request): first_index=3 expected=0 ERROR (multiple matches choose first): first_index=4 expected=0 ERROR (multiple matches choose first): first_index=5 expected=0 ERROR (multiple matches choose first): first_index=6 expected=0 ERROR (multiple matches choose first): first_index=7 expected=0 ERROR (multiple matches choose first): first_index=1 expected=0 ERROR (multiple matches choose first): first_index=2 expected=0 ERROR (multiple matches choose first): done=0 expected=1 ERROR (multiple matches choose first): found=0 expected=1 ... synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0",
"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_224416_826723_5f6af1 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0 |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\deepseek-coder-v2-16b\rag_on\benchmarks\ilyasov\tasks\ilyasov__11_side_channel_constant_time__task_111\samples\run_20260426_224416_826723_5f6af1__sample_4
generated.v previewmodule consttime_byte_search (
input clk,
input rst_n,
input start,
input [63:0] haystack,
input [7:0] needle,
output reg busy,
output reg done,
output reg found,
output reg [2:0] first_index
);
reg [63:0] internal_haystack;
reg [7:0] internal_needle;
reg [2:0] index;
reg match;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
busy <= 0;
done <= 0;
found <= 0;
first_index <= 3'd0;
index <= 3'd0;
match <= 1'b0;
end else if (busy == 0 && start) begin
busy <= 1;
internal_haystack <= haystack;
internal_needle <= needle;
index <= 3'd0;
match <= 1'b0;
end else if (busy) begin
...
functional details[stdout] ERROR (match index 0): first_index=1 expected=0 ERROR (match index 0): first_index=2 expected=0 ERROR (match index 0): first_index=3 expected=0 ERROR (match index 0): first_index=4 expected=0 ERROR (match index 0): first_index=5 expected=0 ERROR (match index 0): first_index=6 expected=0 ERROR (match index 0): done=0 expected=1 ERROR (match index 0): found=0 expected=1 ERROR (match index 0): first_index=7 expected=0 ERROR (return to idle): busy=1 expected=0 ERROR (accept request): first_index=1 expected=0 ERROR (match index 4): first_index=2 expected=0 ERROR (match index 4): first_index=3 expected=0 ERROR (match index 4): first_index=4 expected=0 ERROR (match index 4): first_index=5 expected=0 ERROR (match index 4): first_index=6 expected=0 ERROR (match index 4): first_index=7 expected=0 ERROR (match index 4): done=0 expected=1 ERROR (match index 4): found=0 expected=1 ERROR (match index 4): first_index=1 expected=4 ERROR (return to idle): busy=1 expected=0 ERROR (return to idle): first_index=2 expected=0 ERROR (accept request): first_index=3 expected=0 ERROR (multiple matches choose first): first_index=4 expected=0 ERROR (multiple matches choose first): first_index=5 expected=0 ERROR (multiple matches choose first): first_index=6 expected=0 ERROR (multiple matches choose first): first_index=7 expected=0 ERROR (multiple matches choose first): first_index=1 expected=0 ERROR (multiple matches choose first): first_index=2 expected=0 ERROR (multiple matches choose first): done=0 expected=1 ERROR (multiple matches choose first): found=0 expected=1 ... synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0",
"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_224416_826723_5f6af1 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. =1 expected=0 |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\deepseek-coder-v2-16b\rag_on\benchmarks\ilyasov\tasks\ilyasov__11_side_channel_constant_time__task_111\samples\run_20260426_224416_826723_5f6af1__sample_5
generated.v previewmodule consttime_byte_search (
input clk,
input rst_n,
input start,
input [63:0] haystack,
input [7:0] needle,
output reg busy,
output reg done,
output reg found,
output reg [2:0] first_index
);
reg [63:0] internal_haystack;
reg [7:0] internal_needle;
reg searching;
reg [2:0] index;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
busy <= 0;
done <= 0;
found <= 0;
first_index <= 3'd0;
searching <= 0;
index <= 3'd0;
internal_haystack <= 64'b0;
internal_needle <= 8'b0;
end else if (!busy && start) begin
busy <= 1;
done <= 0;
found <= 0;
first_index <= 3'd0;
...
functional details[stdout] =1 expected=0 ERROR (return to idle): done=1 expected=0 ERROR (return to idle): found=1 expected=0 ERROR (accept request): done=1 expected=0 ERROR (accept request): found=1 expected=0 ERROR (multiple matches choose first): done=1 expected=0 ERROR (multiple matches choose first): found=1 expected=0 ERROR (multiple matches choose first): done=1 expected=0 ERROR (multiple matches choose first): found=1 expected=0 ERROR (multiple matches choose first): done=1 expected=0 ERROR (multiple matches choose first): found=1 expected=0 ERROR (multiple matches choose first): done=1 expected=0 ERROR (multiple matches choose first): found=1 expected=0 ERROR (multiple matches choose first): done=1 expected=0 ERROR (multiple matches choose first): found=1 expected=0 ERROR (multiple matches choose first): done=1 expected=0 ERROR (multiple matches choose first): found=1 expected=0 ERROR (multiple matches choose first): done=1 expected=0 ERROR (multiple matches choose first): found=1 expected=0 ERROR (return to idle): busy=1 expected=0 ERROR (return to idle): done=1 expected=0 ERROR (return to idle): found=1 expected=0 ERROR (accept request): done=1 expected=0 ERROR (accept request): found=1 expected=0 ERROR (no match): done=1 expected=0 ERROR (no match): found=1 expected=0 ERROR (no match): done=1 expected=0 ERROR (no match): found=1 expected=0 ERROR (no match): done=1 expected=0 ERROR (no match): found=1 expected=0 ERROR (no match): done=1 expected=0 ... synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. =1 expected=0",
"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_224416_826723_5f6af1 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0 |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\deepseek-coder-v2-16b\rag_on\benchmarks\ilyasov\tasks\ilyasov__11_side_channel_constant_time__task_111\samples\run_20260426_224416_826723_5f6af1__sample_6
generated.v previewmodule consttime_byte_search (
input clk,
input rst_n,
input start,
input [63:0] haystack,
input [7:0] needle,
output reg busy,
output reg done,
output reg found,
output reg [2:0] first_index
);
reg [63:0] internal_haystack;
reg [7:0] internal_needle;
reg [2:0] index;
reg match;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
busy <= 0;
done <= 0;
found <= 0;
first_index <= 3'd0;
index <= 3'd0;
match <= 1'b0;
end else if (busy == 0 && start) begin
busy <= 1;
internal_haystack <= haystack;
internal_needle <= needle;
index <= 3'd0;
match <= 1'b0;
end else if (busy) begin
...
functional details[stdout] ERROR (match index 0): first_index=1 expected=0 ERROR (match index 0): first_index=2 expected=0 ERROR (match index 0): first_index=3 expected=0 ERROR (match index 0): first_index=4 expected=0 ERROR (match index 0): first_index=5 expected=0 ERROR (match index 0): first_index=6 expected=0 ERROR (match index 0): done=0 expected=1 ERROR (match index 0): found=0 expected=1 ERROR (match index 0): first_index=7 expected=0 ERROR (return to idle): busy=1 expected=0 ERROR (accept request): first_index=1 expected=0 ERROR (match index 4): first_index=2 expected=0 ERROR (match index 4): first_index=3 expected=0 ERROR (match index 4): first_index=4 expected=0 ERROR (match index 4): first_index=5 expected=0 ERROR (match index 4): first_index=6 expected=0 ERROR (match index 4): first_index=7 expected=0 ERROR (match index 4): done=0 expected=1 ERROR (match index 4): found=0 expected=1 ERROR (match index 4): first_index=1 expected=4 ERROR (return to idle): busy=1 expected=0 ERROR (return to idle): first_index=2 expected=0 ERROR (accept request): first_index=3 expected=0 ERROR (multiple matches choose first): first_index=4 expected=0 ERROR (multiple matches choose first): first_index=5 expected=0 ERROR (multiple matches choose first): first_index=6 expected=0 ERROR (multiple matches choose first): first_index=7 expected=0 ERROR (multiple matches choose first): first_index=1 expected=0 ERROR (multiple matches choose first): first_index=2 expected=0 ERROR (multiple matches choose first): done=0 expected=1 ERROR (multiple matches choose first): found=0 expected=1 ... synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0",
"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_224416_826723_5f6af1 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0 |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\deepseek-coder-v2-16b\rag_on\benchmarks\ilyasov\tasks\ilyasov__11_side_channel_constant_time__task_111\samples\run_20260426_224416_826723_5f6af1__sample_7
generated.v previewmodule consttime_byte_search (
input clk,
input rst_n,
input start,
input [63:0] haystack,
input [7:0] needle,
output reg busy,
output reg done,
output reg found,
output reg [2:0] first_index
);
reg [63:0] internal_haystack;
reg [7:0] internal_needle;
reg [2:0] index;
reg match;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
busy <= 0;
done <= 0;
found <= 0;
first_index <= 3'd0;
index <= 3'd0;
match <= 1'b0;
end else if (busy == 0 && start) begin
busy <= 1;
internal_haystack <= haystack;
internal_needle <= needle;
index <= 3'd0;
match <= 1'b0;
end else if (busy) begin
...
functional details[stdout] ERROR (match index 0): first_index=1 expected=0 ERROR (match index 0): first_index=2 expected=0 ERROR (match index 0): first_index=3 expected=0 ERROR (match index 0): first_index=4 expected=0 ERROR (match index 0): first_index=5 expected=0 ERROR (match index 0): first_index=6 expected=0 ERROR (match index 0): done=0 expected=1 ERROR (match index 0): found=0 expected=1 ERROR (match index 0): first_index=7 expected=0 ERROR (return to idle): busy=1 expected=0 ERROR (accept request): first_index=1 expected=0 ERROR (match index 4): first_index=2 expected=0 ERROR (match index 4): first_index=3 expected=0 ERROR (match index 4): first_index=4 expected=0 ERROR (match index 4): first_index=5 expected=0 ERROR (match index 4): first_index=6 expected=0 ERROR (match index 4): first_index=7 expected=0 ERROR (match index 4): done=0 expected=1 ERROR (match index 4): found=0 expected=1 ERROR (match index 4): first_index=1 expected=4 ERROR (return to idle): busy=1 expected=0 ERROR (return to idle): first_index=2 expected=0 ERROR (accept request): first_index=3 expected=0 ERROR (multiple matches choose first): first_index=4 expected=0 ERROR (multiple matches choose first): first_index=5 expected=0 ERROR (multiple matches choose first): first_index=6 expected=0 ERROR (multiple matches choose first): first_index=7 expected=0 ERROR (multiple matches choose first): first_index=1 expected=0 ERROR (multiple matches choose first): first_index=2 expected=0 ERROR (multiple matches choose first): done=0 expected=1 ERROR (multiple matches choose first): found=0 expected=1 ... synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0",
"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_224416_826723_5f6af1 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0 |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\deepseek-coder-v2-16b\rag_on\benchmarks\ilyasov\tasks\ilyasov__11_side_channel_constant_time__task_111\samples\run_20260426_224416_826723_5f6af1__sample_8
generated.v previewmodule consttime_byte_search (
input clk,
input rst_n,
input start,
input [63:0] haystack,
input [7:0] needle,
output reg busy,
output reg done,
output reg found,
output reg [2:0] first_index
);
reg [63:0] internal_haystack;
reg [7:0] internal_needle;
reg [2:0] index;
reg match;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
busy <= 0;
done <= 0;
found <= 0;
first_index <= 3'd0;
index <= 3'd0;
match <= 1'b0;
end else if (busy == 0 && start) begin
busy <= 1;
internal_haystack <= haystack;
internal_needle <= needle;
index <= 3'd0;
match <= 1'b0;
end else if (busy) begin
...
functional details[stdout] ERROR (match index 0): first_index=1 expected=0 ERROR (match index 0): first_index=2 expected=0 ERROR (match index 0): first_index=3 expected=0 ERROR (match index 0): first_index=4 expected=0 ERROR (match index 0): first_index=5 expected=0 ERROR (match index 0): first_index=6 expected=0 ERROR (match index 0): done=0 expected=1 ERROR (match index 0): found=0 expected=1 ERROR (match index 0): first_index=7 expected=0 ERROR (return to idle): busy=1 expected=0 ERROR (accept request): first_index=1 expected=0 ERROR (match index 4): first_index=2 expected=0 ERROR (match index 4): first_index=3 expected=0 ERROR (match index 4): first_index=4 expected=0 ERROR (match index 4): first_index=5 expected=0 ERROR (match index 4): first_index=6 expected=0 ERROR (match index 4): first_index=7 expected=0 ERROR (match index 4): done=0 expected=1 ERROR (match index 4): found=0 expected=1 ERROR (match index 4): first_index=1 expected=4 ERROR (return to idle): busy=1 expected=0 ERROR (return to idle): first_index=2 expected=0 ERROR (accept request): first_index=3 expected=0 ERROR (multiple matches choose first): first_index=4 expected=0 ERROR (multiple matches choose first): first_index=5 expected=0 ERROR (multiple matches choose first): first_index=6 expected=0 ERROR (multiple matches choose first): first_index=7 expected=0 ERROR (multiple matches choose first): first_index=1 expected=0 ERROR (multiple matches choose first): first_index=2 expected=0 ERROR (multiple matches choose first): done=0 expected=1 ERROR (multiple matches choose first): found=0 expected=1 ... synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0",
"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_20260426_224416_826723_5f6af1 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0 |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\deepseek-coder-v2-16b\rag_on\benchmarks\ilyasov\tasks\ilyasov__11_side_channel_constant_time__task_111\samples\run_20260426_224416_826723_5f6af1__sample_9
generated.v previewmodule consttime_byte_search (
input clk,
input rst_n,
input start,
input [63:0] haystack,
input [7:0] needle,
output reg busy,
output reg done,
output reg found,
output reg [2:0] first_index
);
reg [63:0] internal_haystack;
reg [7:0] internal_needle;
reg [2:0] index;
reg match;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
busy <= 0;
done <= 0;
found <= 0;
first_index <= 3'd0;
index <= 3'd0;
match <= 1'b0;
end else if (busy == 0 && start) begin
busy <= 1;
internal_haystack <= haystack;
internal_needle <= needle;
index <= 3'd0;
match <= 1'b0;
end else if (busy) begin
...
functional details[stdout] ERROR (match index 0): first_index=1 expected=0 ERROR (match index 0): first_index=2 expected=0 ERROR (match index 0): first_index=3 expected=0 ERROR (match index 0): first_index=4 expected=0 ERROR (match index 0): first_index=5 expected=0 ERROR (match index 0): first_index=6 expected=0 ERROR (match index 0): done=0 expected=1 ERROR (match index 0): found=0 expected=1 ERROR (match index 0): first_index=7 expected=0 ERROR (return to idle): busy=1 expected=0 ERROR (accept request): first_index=1 expected=0 ERROR (match index 4): first_index=2 expected=0 ERROR (match index 4): first_index=3 expected=0 ERROR (match index 4): first_index=4 expected=0 ERROR (match index 4): first_index=5 expected=0 ERROR (match index 4): first_index=6 expected=0 ERROR (match index 4): first_index=7 expected=0 ERROR (match index 4): done=0 expected=1 ERROR (match index 4): found=0 expected=1 ERROR (match index 4): first_index=1 expected=4 ERROR (return to idle): busy=1 expected=0 ERROR (return to idle): first_index=2 expected=0 ERROR (accept request): first_index=3 expected=0 ERROR (multiple matches choose first): first_index=4 expected=0 ERROR (multiple matches choose first): first_index=5 expected=0 ERROR (multiple matches choose first): first_index=6 expected=0 ERROR (multiple matches choose first): first_index=7 expected=0 ERROR (multiple matches choose first): first_index=1 expected=0 ERROR (multiple matches choose first): first_index=2 expected=0 ERROR (multiple matches choose first): done=0 expected=1 ERROR (multiple matches choose first): found=0 expected=1 ... synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0",
"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_224416_826723_5f6af1 | ok | ok | failed | failed | failed | functional | Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0 |
Open detailssample_dir: E:\Work\MIEM\VKR\Analyse\data\model_dataset\models\deepseek-coder-v2-16b\rag_on\benchmarks\ilyasov\tasks\ilyasov__11_side_channel_constant_time__task_111\samples\run_20260426_224416_826723_5f6af1__sample_10
generated.v previewmodule consttime_byte_search (
input clk,
input rst_n,
input start,
input [63:0] haystack,
input [7:0] needle,
output reg busy,
output reg done,
output reg found,
output reg [2:0] first_index
);
reg [63:0] internal_haystack;
reg [7:0] internal_needle;
reg [2:0] index;
reg match;
always @(posedge clk or negedge rst_n) begin
if (!rst_n) begin
busy <= 0;
done <= 0;
found <= 0;
first_index <= 3'd0;
index <= 3'd0;
match <= 1'b0;
end else if (busy == 0 && start) begin
busy <= 1;
internal_haystack <= haystack;
internal_needle <= needle;
index <= 3'd0;
match <= 1'b0;
end else if (busy) begin
...
functional details[stdout] ERROR (match index 0): first_index=1 expected=0 ERROR (match index 0): first_index=2 expected=0 ERROR (match index 0): first_index=3 expected=0 ERROR (match index 0): first_index=4 expected=0 ERROR (match index 0): first_index=5 expected=0 ERROR (match index 0): first_index=6 expected=0 ERROR (match index 0): done=0 expected=1 ERROR (match index 0): found=0 expected=1 ERROR (match index 0): first_index=7 expected=0 ERROR (return to idle): busy=1 expected=0 ERROR (accept request): first_index=1 expected=0 ERROR (match index 4): first_index=2 expected=0 ERROR (match index 4): first_index=3 expected=0 ERROR (match index 4): first_index=4 expected=0 ERROR (match index 4): first_index=5 expected=0 ERROR (match index 4): first_index=6 expected=0 ERROR (match index 4): first_index=7 expected=0 ERROR (match index 4): done=0 expected=1 ERROR (match index 4): found=0 expected=1 ERROR (match index 4): first_index=1 expected=4 ERROR (return to idle): busy=1 expected=0 ERROR (return to idle): first_index=2 expected=0 ERROR (accept request): first_index=3 expected=0 ERROR (multiple matches choose first): first_index=4 expected=0 ERROR (multiple matches choose first): first_index=5 expected=0 ERROR (multiple matches choose first): first_index=6 expected=0 ERROR (multiple matches choose first): first_index=7 expected=0 ERROR (multiple matches choose first): first_index=1 expected=0 ERROR (multiple matches choose first): first_index=2 expected=0 ERROR (multiple matches choose first): done=0 expected=1 ERROR (multiple matches choose first): found=0 expected=1 ... synthesis details[error] None errors[][
{
"stage": "functional",
"code": "functional.output_failed_marker",
"message": "Functional output contains failure marker: TEST_FAILED. ERROR (match index 0): first_index=1 expected=0",
"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
}
|