clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
pie___ has joined #yosys
pie__ has quit [Ping timeout: 256 seconds]
ZipCPU|Laptop has joined #yosys
seldridge has quit [Ping timeout: 240 seconds]
[X-Scale] has joined #yosys
X-Scale has quit [Ping timeout: 268 seconds]
[X-Scale] is now known as X-Scale
pie___ has quit [Ping timeout: 255 seconds]
ZipCPU has quit [Ping timeout: 255 seconds]
ZipCPU has joined #yosys
ZipCPU|Laptop has quit [Ping timeout: 248 seconds]
seldridge has joined #yosys
digshadow has quit [Ping timeout: 265 seconds]
AlexDaniel has quit [Remote host closed the connection]
digshadow has joined #yosys
AlexDaniel has joined #yosys
digshadow has quit [Ping timeout: 256 seconds]
pie___ has joined #yosys
digshadow has joined #yosys
seldridge has quit [Ping timeout: 276 seconds]
sklv1 has quit [Quit: quit]
pie___ has quit [Ping timeout: 248 seconds]
pie___ has joined #yosys
pie___ has quit [Ping timeout: 276 seconds]
pie_ has joined #yosys
pie_ has quit [Ping timeout: 240 seconds]
dmin7 has joined #yosys
AlexDaniel has quit [Remote host closed the connection]
dys has joined #yosys
xrexeon has joined #yosys
xrexeon has quit [Remote host closed the connection]
manjaroi3 has joined #yosys
manjaroi3 has quit [Max SendQ exceeded]
manjaroi3 has joined #yosys
manjaroi3 has quit [Client Quit]
xrexeon has joined #yosys
promach__ has joined #yosys
<promach__> have anyone encountered "ERROR: While loops are only allowed in constant functions" with yosys-smtbmc ?
xrexeon has quit [Remote host closed the connection]
xrexeon has joined #yosys
fsasm has joined #yosys
xrexeon has quit [Quit: leaving]
xrexeon has joined #yosys
xrexeon has quit [Remote host closed the connection]
eduardo_ has joined #yosys
xrexeon has joined #yosys
eduardo__ has quit [Ping timeout: 240 seconds]
xrexeon has quit [Quit: leaving]
xrexeon has joined #yosys
xrexeon has quit [Remote host closed the connection]
xrexeon has joined #yosys
xrexeon has quit [Remote host closed the connection]
xrexeon has joined #yosys
xrexeon has quit [Read error: Connection reset by peer]
xrexeon has joined #yosys
pie_ has joined #yosys
pie_ has quit [Ping timeout: 240 seconds]
m_t has joined #yosys
AlexDaniel has joined #yosys
AlexDaniel has quit [Remote host closed the connection]
pie_ has joined #yosys
xrexeon has quit [Read error: Connection reset by peer]
xrexeon has joined #yosys
fsasm has quit [Quit: Leaving]
pie_ has quit [Ping timeout: 256 seconds]
ar3itrary has quit [Remote host closed the connection]
ar3itrary has joined #yosys
<ZipCPU> promach__: What code are you trying to compile?
<ZipCPU> My guess is that you were using a while loop in such a fashion that yosys couldn't tell how many times it was supposed to run.
<daveshah> I think I saw a possibly equivalent error when I had a for loop that didn't run a constant number if times
<daveshah> *of times
<daveshah> Ended up adding an if statement to only execute the contents if "I" was less than the variable limit
promach__ has quit [Ping timeout: 255 seconds]
m_t has quit [Quit: Leaving]
promach__ has joined #yosys
<ZipCPU> Yeah ... that won't work because the synthesizer can't tell how many times to run the loop.
<ZipCPU> The number of counts through the loop is dependent upon a changing value, stop_bit_location_minus_one
<promach__> ZipCPU: check line 78
<ZipCPU> You realize ... you are programming hardware, not software here, right?
<ZipCPU> yosys is going to use your loop to create a fixed number of hardware circuits. If it can't figure out how many circuits to generate, it will give up with the error it just gave you.
<promach__> ZipCPU: ok
pie_ has joined #yosys
AlexDaniel has joined #yosys
seldridge has joined #yosys
<promach__> ZipCPU: it means either I need to physically unroll the loop for the synthesizer OR I have to wrote case() for each count ?
<promach__> induction is just giving me this loop problem to solve during holiday ...
<ZipCPU> Yes.
pie__ has joined #yosys
pie_ has quit [Read error: Connection reset by peer]
jhol has quit [Quit: Coyote finally caught me]
jhol has joined #yosys
digshadow has quit [Ping timeout: 248 seconds]
m_t has joined #yosys
promach__ has quit [Ping timeout: 256 seconds]
digshadow has joined #yosys
dys has quit [Ping timeout: 255 seconds]
zkrx has joined #yosys
m_t has quit [Remote host closed the connection]
m_t has joined #yosys
pie__ has quit [Remote host closed the connection]
pie_ has joined #yosys
hanetzer has joined #yosys
<hanetzer> heyo. figured you guys would know, is there any open tooling for altera max cpld's available? Its not really that important, but a BIOS POST card I just got uses one so it piqued my interest a bit.
<awygle> hanetzer: not to my knowledge
<awygle> hanetzer: well, Yosys may support synthesis for them, but certainly there is no routing or bitstream generation or anything
<hanetzer> awygle: k. just a bit of idle curiosity as I said.
<awygle> looks like synthesis support for max10 exists at least
<hanetzer> I'm probably gonna grab an icestick for my needs, doing a bit of EC/LPC sniffing for a laptop
<hanetzer> coreboot port in progress :)
dmin7 has quit [Remote host closed the connection]
dmin7 has joined #yosys
pie__ has joined #yosys
pie_ has quit [Ping timeout: 260 seconds]
seldridge has quit [Ping timeout: 260 seconds]
dmin7 has left #yosys [#yosys]