ModuleNotFoundError when trying to load in py_tech_files

[jeffng-or]

I'm trying to use the py_tech_files configuration to provide blackbox definitions for some macros that have a pin that references multiple clocks. When I run with py_tech_files, KF complains about not being able to find the najaeda module. I can repro using the examples primitives.py:

[2026-07-30 18:23:59.675] [kepler_formal_main_logger] [critical] [KeplerFormal.cpp:2653] Netlist loading failed: Cannot load Python module /workspace/iso/example/primitives.py: ModuleNotFoundError: No module named 'najaeda' (/workspace/iso/example/primitives.py:6)

To repro:

  kepler-formal -c primitives_py.yaml

I've also included a primitives.lib and primitives_lib.yaml, which work:

kepler-formal -c primitives_lib.yaml

Had to rename files to enable GH upload.

primitives_lib.yaml.txt
primitives_py.yaml.txt
example.v.txt
primitives.py.txt
primitives.lib.txt

[xtofalex]

Hi @jeffng-or ,
Can you try to replace:

from najaeda import naja

by just:

import naja

[jeffng-or]

Unfortunately, it gives the same error:

[2026-07-30 23:37:47.923] [kepler_formal_main_logger] [info] [KeplerFormal.cpp:2110] Loading python primitive file: primitives.py
[2026-07-30 23:37:47.952] [kepler_formal_main_logger] [critical] [KeplerFormal.cpp:2653] Netlist loading failed: Cannot load Python module /workspace/iso/example/primitives.py.txt: ModuleNotFoundError: No module named 'naja' (/workspace/iso/example/primitives.py:6)

$ head primitives.py.txt
# SPDX-FileCopyrightText: 2023 The Naja authors <https://github.com/najaeda/naja/blob/main/AUTHORS>
#
# SPDX-License-Identifier: Apache-2.0

import logging
import naja

def constructAND2(lib):

[nanocoh]

Hello @jeffng-or ,

We have done the work to fully support the py technology library.

Please see an example at: https://github.com/keplertech/kepler-formal/tree/main/examples/xilinx

Can you verify it is working for you?

[jeffng-or]

Thanks, I got my test case to work!