esynr3z

# Prepare system
FROM ubuntu:20.04
RUN apt-get update
RUN apt-get install -y build-essential flex gperf bison libreadline6-dev libncurses5-dev autoconf

# Copy sources
COPY ./iverilog /src/iverilog
COPY ./pint_iverilog /src/pint_iverilog
WORKDIR /src

esynr3z

sudo dpkg --add-architecture i386
sudo apt update
sudo apt install -y libc6:i386 libxtst6:i386 libncurses5:i386 libxft2:i386 libstdc++6:i386 libc6-dev-i386 lib32z1 libqt5xml5 liblzma-dev
wget https://download.altera.com/akdlm/software/acdsinst/20.1std/711/ib_installers/ModelSimSetup-20.1.0.711-linux.run
chmod +x ModelSimSetup-20.1.0.711-linux.run
./ModelSimSetup-20.1.0.711-linux.run --mode unattended --accept_eula 1 --installdir $HOME/ModelSim-20.1.0 --unattendedmodeui none
# Here you need to add "$HOME/ModelSim-20.1.0/modelsim_ase/bin" to your PATH

esynr3z

#!/usr/bin/env bash
# firejail wrapper for codex-cli
# 
# - it requires that codex is logged in at host
# - it creates .codex temprorary directory in current pwd
# - codex home is moved to the current temp directory to store conversations and history
# - no files are available to codex outside current working directory

set -euo pipefail

esynr3z

// Functional-coverage capability probe for Verilator.
//
// Audited against:
//   - Verilator v5.050, released 2026-07-01
//   - Verilator master 52287c025f0c6574043956cac1ad2538d9683181
//     (5.051 devel, 2026-07-10)
//   - IEEE Std 1800-2017, Clause 19
//   - IEEE Std 1800-2023, Clause 19 for real-valued coverage and
//     option.cross_retain_auto_bins additions
//