.env.example

# Optional CIRCT runtime overrides.
# Tool artifacts:
VITE_CIRCT_VERILOG_JS_URL=/circt/circt-verilog.js
VITE_CIRCT_VERILOG_WASM_URL=/circt/circt-verilog.wasm
VITE_CIRCT_SIM_JS_URL=/circt/circt-sim.js
VITE_CIRCT_SIM_WASM_URL=/circt/circt-sim.wasm
VITE_CIRCT_BMC_JS_URL=/circt/circt-bmc.js
VITE_CIRCT_BMC_WASM_URL=/circt/circt-bmc.wasm
# VPI-capable circt-sim (for cocotb lessons — built with Asyncify + VPI exports):
VITE_CIRCT_SIM_VPI_JS_URL=/circt/circt-sim-vpi.js
VITE_CIRCT_SIM_VPI_WASM_URL=/circt/circt-sim-vpi.wasm
# Pyodide URL (used by cocotb runner). Default is local: /pyodide/pyodide.js
# Optional CDN override:
# VITE_PYODIDE_URL=https://cdn.jsdelivr.net/pyodide/v0.27.0/full/pyodide.js
#
# Optional args for each stage (JSON array preferred):
# VITE_CIRCT_VERILOG_ARGS=[\"--ir-llhd\",\"--timescale\",\"1ns/1ns\",\"--single-unit\"]
# VITE_CIRCT_SIM_ARGS=[\"--resource-guard=false\"]
# VITE_CIRCT_BMC_ARGS=[\"--resource-guard=false\",\"-b\",\"3\",\"--module\",\"{top}\",\"--emit-smtlib\",\"-o\",\"-\",\"{input}\"]