bus-slave-abort-ack

Task gallery / Electrical engineering (RTL) / Version 1

Reference solution (oracle): Unverified
No-op resistance check: Unverified
QA verdict: Not recorded
Aggregate eligibility: Eligible version

The task

Write /app/dut.sv defining TopModule, a four-slot registered bus transducer. Ports are clk, rst, cyci, stbi, wei, adri[1:0], dati[15:0], stallo, acko, dato[15:0]. rst synchronously clears slots, primed bits, pending work, and outputs. Edge E is the accept posedge; E+1 is the next posedge. Observe timing after the named posedge. Accept a request at E when cyci and stbi are high and pre-edge stallo is low. Lane k of a…

Excerpt only; not a complete executable task specification. Task ID task_3189f881254944b5 · version 1. Selection status: not fully recorded.

Results by model and effort

This exact task version only. Every rate is passes / valid runs with a Wilson 95% interval; n≤2 remains counts only. Macro aggregation does not apply within a single task. Baselines are summarized in the quality gates, not ranked. A passed no-op resistance check means that doing nothing did not solve the task.

Current evidence

Model / effort	Verifier result [95% Wilson]	Diagnostic labels / valid	HARNESS_ERROR · excluded	Outcome classes

Legacy evidence

Model / effort	Verifier result [95% Wilson]	Diagnostic labels / valid	HARNESS_ERROR · excluded	Outcome classes
Claude Opus 4.8 · default (unverified)	10/10 · 100.0% [72.2%, 100.0%]	0 / 10	0	GOOD_FAILURE: 0 BAD_FAILURE: 0 GOOD_SUCCESS: 0 BAD_SUCCESS: 0

Every recorded run

10 recorded trials, including controls. Diagnostic labels do not replace verifier reward. Labels and quality checks are source declarations, not independently attested here. Internal evidence remains private; a missing public URL is shown explicitly. Records with invalid or absent rewards are not scored.

Run / model	Date / source	Reward / eligibility	Diagnostic class / source	Resources	Evidence
`trial_7ce8e068ff2b43d9` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 29,769 Turns: 5 Cost: $1.1634	Not publicly available
`trial_3d868cc3bad046c9` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 19,438 Turns: 2 Cost: $0.7290	Not publicly available
`trial_3b725e93a0ca4f38` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 25,299 Turns: 5 Cost: $0.9984	Not publicly available
`trial_ac2af59791fb4c6c` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 30,513 Turns: 7 Cost: $1.2367	Not publicly available
`trial_9d10a61b13e948d8` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 18,640 Turns: 2 Cost: $0.7032	Not publicly available
`trial_cc65971aa8a84ed4` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 29,555 Turns: 5 Cost: $1.1576	Not publicly available
`trial_7c019d94a23948f7` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 20,713 Turns: 2 Cost: $0.7762	Not publicly available
`trial_716015939e5e4844` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 19,644 Turns: 3 Cost: $0.7575	Not publicly available
`trial_7f20e1c881114e56` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 25,726 Turns: 5 Cost: $1.0237	Not publicly available
`trial_778b2c2580cc4fcd` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 24,382 Turns: 2 Cost: $0.9032	Not publicly available