rohitksingh has quit [Remote host closed the connection]
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 250 seconds]
gromero has quit [Ping timeout: 248 seconds]
dh73 has quit [Quit: Leaving.]
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 248 seconds]
pie_ has quit [Ping timeout: 248 seconds]
attie has joined #yosys
attie has quit [Ping timeout: 246 seconds]
X-Scale has quit [Ping timeout: 268 seconds]
pie_ has joined #yosys
X-Scale` has joined #yosys
X-Scale` is now known as X-Scale
fsasm has joined #yosys
attie has joined #yosys
esden_ has joined #yosys
ktemkin_ has joined #yosys
arnd_ has joined #yosys
phantomcircuit_ has joined #yosys
smarter_ has joined #yosys
vup2 has joined #yosys
nurelin_ has joined #yosys
knielsen_ has joined #yosys
corecode_ has joined #yosys
jhol` has joined #yosys
phantomcircuit has quit [*.net *.split]
emily has quit [*.net *.split]
Thorn has quit [*.net *.split]
knielsen has quit [*.net *.split]
cyrozap has quit [*.net *.split]
indy has quit [*.net *.split]
ZipCPU has quit [*.net *.split]
jhol has quit [*.net *.split]
nurelin has quit [*.net *.split]
hackerfoo has quit [*.net *.split]
ktemkin has quit [*.net *.split]
corecode has quit [*.net *.split]
vup has quit [*.net *.split]
smarter has quit [*.net *.split]
arnd has quit [*.net *.split]
esden has quit [*.net *.split]
ktemkin_ is now known as ktemkin
esden_ is now known as esden
indy_ has joined #yosys
arnd_ is now known as arnd
jhol` is now known as jhol
hackerfoo has joined #yosys
pie_ has quit [Ping timeout: 248 seconds]
Thorn has joined #yosys
corecode_ is now known as corecode
pie_ has joined #yosys
mkurc has joined #yosys
<mkurc>
Hello, I have a question: What is the best way to detect in techmap that a particular input port of the cell is unconnected?
emily has joined #yosys
emily has quit [Client Quit]
emily has joined #yosys
emily has quit [Client Quit]
emily has joined #yosys
<ZirconiumX>
mkurc: probably by using CONSTMSK and CONSTVAL
<ZirconiumX>
Because unconnected ports are effectively constant 'bx
<pepijndevos>
There is a way to make yosys make a truth table for a combinational circuit right? I forgot how...
<daveshah>
pepijndevos: eval
<mkurc>
ZirconiumX: My current observation is that a port is unconnected when CONSTMSK == 0 and CONSTVAL == 0
<ZirconiumX>
mkurc: That's incorrect
<ZirconiumX>
`help techmap` shows that it should be CONSTMSK == 1 and CONSTVAL == 'bx
<ZirconiumX>
What you have there is not a constant
<pepijndevos>
daveshah, it doesn't like me: Failed to evaluate signal \R10C7_S13 at { \R1C16_W81 \R1C5_E26 } = 2'00: Missing value for \R10C7_S13.
<daveshah>
Haven't seen that before but I guess it's because you have an input that isn't set or in the list of truth table signals?
<pepijndevos>
Hum, I did flatten and now it's happy
<mkurc>
ZirconiumX: But that does not work for me. CONSTVAL is never equal to 'bx. I tried both with '==' and '===' comparison operators.
<ZirconiumX>
Well, first off, what are you trying to do?
<ZirconiumX>
As in, why do you need to check if something is disconnected?
<pepijndevos>
daveshah, how do carry chains work on ECP5?
<mkurc>
ZirconiumX: Let's say that I have a cell representing a PLL and it has a RST input.
<mkurc>
ZirconiumX: I'm writing a techmap for it that will transform it to another representation of the PLL. And I want to detect whether the RST input is connected. Because if it is not then I need to force it to eg. logic 1 in the cell that I'm mapping to.
<ZirconiumX>
But then, why not have something like `assign reset_val = (input_reset === 1'b0) ? 1'b0 : 1'b1;`?
m4ssi has joined #yosys
<mkurc>
ZirconiumX: That would work provided that I can assume that an unconnected port is tied to 0. But what if I want to force RST to 0 then? It'll be forced to 1.
<ZirconiumX>
An unconnected port is not tied to zero
<ZirconiumX>
It's tied to 'bx
<ZirconiumX>
If input_reset is 1, that returns 1
<ZirconiumX>
If input_reset is 0, that returns 0
<ZirconiumX>
If input_reset is x, that returns 1
indy_ is now known as indy
emeb has joined #yosys
dh73 has joined #yosys
smarter_ is now known as smarter
B_dgfebba has joined #yosys
B_dgfebba has quit [Ping timeout: 252 seconds]
fsasm has quit [Ping timeout: 252 seconds]
m4ssi has quit [Remote host closed the connection]
rohitksingh has joined #yosys
<mmicko>
hi develonepi3, just use make PREFIX=/opt install and it should be fine, that way you will get binaries in /opt/bin, maybe that is not best option for it but you can use any prefix that is fine for your envrionment
<mmicko>
and sorry for late reply, was afk, thanks ZipCPU for letting me know
<develonepi3>
mmicko That helped was able to get the package built. And now having some QA issues. This is a fork with chg'ed made in conf.mk /usr/local to /opt "https://github.com/develone/icestorm"
rohitksingh has quit [Ping timeout: 248 seconds]
rohitksingh has joined #yosys
phantomcircuit_ is now known as phantomcircuit
<mmicko>
develonepi3: there should be no need to change existing file, since you can overwrite them in build script, so if you are doing packaging for yocto, you actually need to call make from there and then can set PREFIX parameter, in project itself usual default value is left to cover most users