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
//

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

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

# 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

Basics

Use Verible Code Obfuscator for obfuscation.

Obfuscate foo.v and save dictionary with all replacements:

verible-verilog-obfuscate --save_map obf.map < foo.v > foo_obf.v

esynr3z

PEP8 Git Commit Hook

Based on pep8-git-hook.

Every staged Python file will be checked.

Installation:

• Install the pycodestyle (formally called pep8) program: $ pip install pycodestyle
• Save pre-commit as your_project/.git/hooks/pre-commit

esynr3z

# Simply change the project settings in this section
# for each new project. There should be no need to
# modify the rest of the script.

set tb_name tb_top

set library_file_list [list \
  work [list \
    ../../src/rtl/top.v \
    ../../src/tb/$tb_name.v] \

esynr3z

#!/bin/bash

# Create virtual environment
virtualenv .venv

# Install Jupyter Notebook
.venv/bin/pip install jupyter notebook tornado\<6

# Install scientific packages
.venv/bin/pip install numpy scipy matplotlib

esynr3z

Quartus Prime Lite 19.1 on Fedora 29 - installation guide

1. Install Quartus and ModelSim - get the Combined Files tar archive from here

2. Add Quartus bin dir to PATH, e.g. /space/eda/intelFPGA_lite/19.1/quartus/bin

3. Add ModelSim bin dir to PATH, e.g. /space/eda/intelFPGA_lite/19.1/modelsim_ase/linuxaloem

4. Install 32-bit ncurses for ModelSim

esynr3z

#!/usr/bin/env python3

'''
Script to calculate STM32F0x RTC calibration values based on a measured time variation.
All references to STM32 RM0091: 25.4.12 RTC smooth digital calibration
'''

from datetime import datetime

# set rtc ideal freq