# counter_cocotb - Minimal Fast Simulation Example

Smoke-verifies `rtl/counter.sv` with cocotb + Icarus Verilog.

## Prerequisites

Install the runtimes first and confirm:

```powershell
powershell -File tools\simulation_acceleration\scripts\check_fast_sim.ps1
```

## Run (Icarus + cocotb)

From the RepoKey package root:

```powershell
python tools\simulation_acceleration\examples\counter_cocotb\run_icarus.py
```

Or run the wrapper script from the package root:

```powershell
powershell -File tools\simulation_acceleration\scripts\run_smoke_counter.ps1
```

## Verilator (optional)

After installing Verilator + the C++ toolchain:

```powershell
python tools\simulation_acceleration\examples\counter_cocotb\run_verilator.py
```

Note: `run_icarus.py` uses Icarus; `run_verilator.py` uses Verilator (needs the
`cocotbvpi_verilator` cocotb backend); `run_verilator_cpp.ps1` + `sim_main.cpp`
is the Verilator C++ direct-run path.
