riscv-formal-nmigen/rvfi/riscv_formal_parameters.py

from collections import namedtuple

RISCVFormalParameters = namedtuple('RISCVFormalParameters',
    ['ilen', 'xlen', 'csr_misa', 'compressed', 'aligned_mem'])