Skip to main content
VLSI Korea

EVIDENCE BEFORE MEASUREMENTS

Reproducibility & Benchmarks

Each result retains its source, tool, environment, command, exit status, log and waveform. A local example test is distinct from a catalog project reproduction.

Recorded local RTL example runs
ExampleTool / scopeResultArtifacts
2:1 MUX

sha256:b605b48b119ddc28681ef6aa0873e68652db99b5b18501b615a1ae9e7cb3c4cc

Icarus Verilog version 13.0 (stable) (v13_0)

Local darwin arm64 · trusted authored examples · no network dependencies

2026-10-13T16:32:59.945Z
Assertions passed · exit 0

Intentional failure: exit 1

Run log
VCD
Negative controls
4-bit counter

sha256:5fdab5cd83e36754a12e238a07b305afea6a96a1ca598e5c47de7b9c55056fe8

Icarus Verilog version 13.0 (stable) (v13_0)

Local darwin arm64 · trusted authored examples · no network dependencies

2026-10-13T16:32:59.980Z
Assertions passed · exit 0

Intentional failure: exit 1

Run log
VCD
Negative controls

No comparable measured PPA result

No area, frequency, power or routing benchmark is attached. These examples are functional simulations. Future PPA comparisons require matching source/configuration, tool versions, libraries, PDK revision, corners, voltage, temperature, constraints and units.

Read the evidence policy →