<ZipCPU>
Anyone here have experience installing Avy on a newer Linux, such as Ubuntu 18.04? I tried installing it and it failed on me.
kuldeep has quit [Ping timeout: 240 seconds]
kuldeep has joined #yosys
cr1901_modern has joined #yosys
develonepi3 has quit [Remote host closed the connection]
dxld has quit [Quit: Bye]
dxld has joined #yosys
digshadow has quit [Ping timeout: 245 seconds]
seldridge has quit [Quit: WeeChat 1.4]
m_w has quit [Quit: Leaving]
ZipCPU has quit [Read error: Connection reset by peer]
ZipCPU has joined #yosys
digshadow has joined #yosys
Chobbes has quit [Quit: WeeChat 1.9.1]
dxld has quit [Quit: Bye]
dxld has joined #yosys
leviathanch has joined #yosys
seldridge has joined #yosys
dys has quit [Ping timeout: 245 seconds]
seldridge has quit [Ping timeout: 268 seconds]
ZipCPU has quit [Ping timeout: 256 seconds]
ZipCPU has joined #yosys
puddingpimp has joined #yosys
promach_ has quit [Quit: WeeChat 2.1-dev]
dys has joined #yosys
dys has quit [Ping timeout: 256 seconds]
promach has joined #yosys
emeb_mac has quit [Quit: Leaving.]
aiju has joined #yosys
<aiju>
not strictly yosys related but i'm working on a verilog implementation and wondering how unsized constants are supposed to work exactly
<aiju>
does someone here know how they work in yosys and other implementations?
<aiju>
ieee 1364-2005 seems to make a number of almost contradictory statement on the matter
<aiju>
it kind of seems like it's supposed to be a separate type but then again not really
promach has quit [Quit: WeeChat 2.1-dev]
promach has joined #yosys
indy has quit [Ping timeout: 260 seconds]
GuzTech has joined #yosys
indy has joined #yosys
<ZipCPU>
aiju: Unsized constants need to be connected to sized wires and registers
<ZipCPU>
They are assumed to be unsigned, even if negative, so bits are just dropped if I understand correctly
<ZipCPU>
I tend to avoid them because the tools I use check for size changes and produce warnings--even when the behavior is exactly what I want.
<aiju>
"They are assumed to be unsigned" this is opposite of 1364-2005
<aiju>
are you talking about 'd23?
<aiju>
"23" and "'sd23" are signed, "'d23" is unsigned
<aiju>
however the standard explicitly states that constants that start with "x" and "z" have that x/z extended to the "size of the expression" (whatever that means)
develonepi3 has joined #yosys
clifford has quit [Quit: Ex-Chat]
<aiju>
i've just reread the section on expression width and found this statement: In general, any context-determined operand of an
<aiju>
operator shall be the same type and size as the result of the operator.
<aiju>
which is curious because it implies strange things happen with divisions and right shifts so i kinda suspected it's not implemented literally
<ZipCPU>
"reg" and "wire" are unsigned, whereas "reg signed" and "wire signed" are signed.
<aiju>
If the operand must be extended,
<aiju>
then it shall be sign-extended only if the propagated type is signed.
<aiju>
more fun stuff...
<aiju>
ZipCPU: ah, sorry, i thought "they" referred to the constants, not the registers
m_t has joined #yosys
cemerick has joined #yosys
cemerick has quit [Ping timeout: 248 seconds]
eduardo__ has quit [Remote host closed the connection]
promach_ has joined #yosys
leviathanch has quit [Remote host closed the connection]
leviathan has joined #yosys
seldridge has joined #yosys
seldridge has quit [Ping timeout: 268 seconds]
dxld has quit [Quit: Bye]
dxld has joined #yosys
promach_ has quit [Quit: WeeChat 2.1]
cemerick has joined #yosys
zino has quit [Remote host closed the connection]
seldridge has joined #yosys
GuzTech has quit [Quit: Leaving]
GuzTech has joined #yosys
GuzTech has quit [Quit: Leaving]
janrinze has quit [Remote host closed the connection]