Ondrej Ille

Oh, I see now: ``` You are misinterpreting B. It says the paths that correspond to the ifnone may be either simple or edge-sensitive not that the ifnone path can...

Hi @nickg , do you please have any comments to this MR ? I was hoping to get this in before giving a shot at: https://github.com/nickg/nvc/issues/1004

I will convert it to analysis option then.

Hi @mik1234mc, the netlist you provided can be elaborated by NVC, however, it does take some time (and memory): ``` [oille@runner4 flow]$ nvc -a fftmain.vhdl [oille@runner4 flow]$ [oille@runner4 flow]$ /usr/bin/time...

You are welcome @mik1234mc . NVC is quite memory hungry (certainly more than GHDL), however it has other benefits over GHDL. Btw. @nickg is it possible to somehow speed-up the...

Hi, this occurs under the following conditions: 1. NVC thinks the value assigned is not constant. For some reason, assigning `RST_REF_1` is analysed as non-constant. 2. The `record` others choice...

Hi @gottschalkm and @tmeissner , to fix this issue, you can redefine `jit_reg_t` to `uint32_t` and `JIT_REG_INVALID` to `UINT32_MAX`. You can find both in `src/jit/jit_priv.h`. The structs `jit_value_t` and `jit_ir_t`...

I must admit I did not check that. Btw. do you know if throwing a warning is according to LRM ? If so can you please post the section describing...

Btw. to get an example netlist with FOSS tools, you can e.g. follow a flow from IBEX: [IBEX](https://github.com/lowRISC/ibex/tree/master) https://github.com/lowRISC/ibex/blob/master/syn/README.md It can run with YOSYS + SV2V. Alternatively, you could try...

Hi @nickg , I ran some of the flows from: https://github.com/The-OpenROAD-Project/OpenROAD-flow-scripts and scraped standard cells for GF180 and IHP130: [nvc_example.tar.gz](https://github.com/user-attachments/files/23123805/nvc_example.tar.gz) The IHP PNR example can be elaborated. The IHP SYN...