Here is the file that was used for testing. After download rename it to faulty.vhd
faulty.vhd
When waiting for a longer period of time yosys starts printing the latest arrival time, followed by the same repeating messages indefinitely. (starting at line 1242)
faulty.log
Expected Behavior
The sta command should run for any synthesized design without going into an infinite loop.
Actual Behavior
the sta command hangs when using it on a finite state machine where the state transition is dependent on a signal of another process. If the signals that controls the transition is coming form outside of the module the sta command runs without any issue.
Version
Yosys 0.45+240 (git sha1 b4fd8e7ed, clang++ 14.0.0-1ubuntu1.1 -fPIC -O3)
On which OS did this happen?
Linux
Reproduction Steps
run with hanging
yosys -m ghdlghdl faulty.vhd -e faultysynth_ecp5starun without hanging
Here is the file that was used for testing. After download rename it to faulty.vhd faulty.vhd
When waiting for a longer period of time yosys starts printing the latest arrival time, followed by the same repeating messages indefinitely. (starting at line 1242) faulty.log
Expected Behavior
The
stacommand should run for any synthesized design without going into an infinite loop.Actual Behavior
the
stacommand hangs when using it on a finite state machine where the state transition is dependent on a signal of another process. If the signals that controls the transition is coming form outside of the module thestacommand runs without any issue.