clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
emeb_mac has joined #yosys
seldridge has joined #yosys
dxld has quit [Quit: Bye]
dxld has joined #yosys
develonepi3 has quit [Remote host closed the connection]
seldridge has quit [Ping timeout: 256 seconds]
proteusguy has quit [Read error: Connection reset by peer]
digshadow has quit [Ping timeout: 255 seconds]
digshadow has joined #yosys
emeb has quit [Quit: Leaving.]
leviathan has joined #yosys
danieljabailey has joined #yosys
danieljabailey has quit [Ping timeout: 244 seconds]
danieljabailey has joined #yosys
ZipCPU has quit [*.net *.split]
AlexDaniel has quit [*.net *.split]
knielsen has quit [*.net *.split]
kmehall has quit [*.net *.split]
thoughtpolice has quit [*.net *.split]
rqou has quit [*.net *.split]
jhol has quit [*.net *.split]
rqou has joined #yosys
danieljabailey has quit [Ping timeout: 240 seconds]
danieljabailey has joined #yosys
leviathan has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
cemerick has joined #yosys
cemerick_ has joined #yosys
gnufan1 has quit [Quit: Leaving.]
cemerick has quit [Ping timeout: 268 seconds]
cemerick_ has quit [Ping timeout: 245 seconds]
janrinze has quit [Remote host closed the connection]
emeb_mac has quit [Quit: Leaving.]
AlexDaniel has joined #yosys
GuzTech has joined #yosys
proteusguy has joined #yosys
GuzTech has quit [Quit: Leaving]
jhol has joined #yosys
ZipCPU has joined #yosys
kmehall has joined #yosys
thoughtpolice has joined #yosys
knielsen has joined #yosys
GuzTech has joined #yosys
AlexDaniel has quit [Ping timeout: 268 seconds]
promach has quit [Quit: WeeChat 2.1-dev]
andi- has quit [Ping timeout: 256 seconds]
andi- has joined #yosys
m_t has joined #yosys
AlexDaniel has joined #yosys
sklv has quit [Read error: Connection reset by peer]
sklv has joined #yosys
andi- has quit [Excess Flood]
AlexDaniel has quit [Ping timeout: 245 seconds]
andi- has joined #yosys
AlexDaniel has joined #yosys
clifford has joined #yosys
AlexDaniel has quit [Ping timeout: 276 seconds]
m_t has quit [Quit: Leaving]
proteus-guy has joined #yosys
leviathan has joined #yosys
leviathan has quit [Read error: Connection reset by peer]
leviathanch has joined #yosys
AlexDaniel has joined #yosys
andi- has quit [Ping timeout: 240 seconds]
develonepi3 has joined #yosys
dys has joined #yosys
promach has joined #yosys
dxld has quit [Remote host closed the connection]
kensan has quit [Quit: leaving]
promach_ has joined #yosys
andi- has joined #yosys
promach_ has quit [Read error: Connection reset by peer]
promach_ has joined #yosys
<promach_> hi guys, using $past(variable) on the condition for assert(variable) is not helpful for yosys-smtbmc temporal induction, right ?
<tpb> Title: UART/test_UART.v at development · promach/UART · GitHub (at github.com)
dxld has joined #yosys
dxld has quit [Ping timeout: 276 seconds]
<ZipCPU> No, promach_: it should be just find for induction.
<promach_> ZipCPU: but I really doubt, because $past(variable) could be of anything in induction, right ?
<ZipCPU> The only issues are that it will only work in a clocked always block, the "erroneous" trace will appear on the second to the last clock, and who knows what past references on the very first time step during induction.
<ZipCPU> (You'll have to recover from that first timestep in the following time steps)
<promach_> ZipCPU: but I am using $past(variable) on the condition for assert(variable) in induction
<ZipCPU> Yes, that was what I thought I was talking about.
<ZipCPU> I do it all the time.
<promach_> hmm... probably I should look for the induction bug at some other place in my code then
dxld has joined #yosys
dxld has quit [Read error: Connection reset by peer]
promach_ has quit [Quit: WeeChat 2.1]
dxld has joined #yosys
emeb_mac has joined #yosys
dxld has quit [Ping timeout: 245 seconds]
dxld has joined #yosys
dxld has quit [Ping timeout: 276 seconds]
emeb_mac has quit [Quit: Leaving.]
GuzTech has quit [Quit: Leaving]
dxld has joined #yosys
dxld has quit [Ping timeout: 256 seconds]
dxld has joined #yosys
leviathanch has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
land_of_ruin has joined #yosys
dxld has quit [Ping timeout: 276 seconds]
dxld has joined #yosys
land_of_ruin has quit [Ping timeout: 260 seconds]
azzizi has quit [Quit: Page closed]
azzizi has joined #yosys
<azzizi> Hi can anyone please tell me if the 'passes' can be written in python ? or using c++ is a must?
<azzizi> To clarify passes on the RTLIL
dxld has quit [Ping timeout: 256 seconds]
dxld has joined #yosys
<ZipCPU> azzizi: I would imagine they could be written in Python, don't see why not, however you might need to build your own patched infrastructure to make that happen.
<azzizi> could you please elaborate on 'patched infrastructure' a bit more ? Not getting that
<azzizi> e.g. i would like to add some things on the RTLIL suppose say with python ...what are the things to keep in mind
dxld has quit [Ping timeout: 256 seconds]
<ZipCPU> My point is specifically that the current infrastructure doesn't include python. You would need to connect your pythong code to yosys yourself.
digshadow has quit [Ping timeout: 256 seconds]
digshadow has joined #yosys
dxld has joined #yosys
cemerick_ has joined #yosys
cemerick_ has quit [Ping timeout: 256 seconds]
dxld has quit [Ping timeout: 276 seconds]
dxld has joined #yosys
m_t has joined #yosys
dxld has quit [Ping timeout: 240 seconds]
dxld has joined #yosys
m_w has joined #yosys
proteusguy has quit [Remote host closed the connection]
dxld has quit [Ping timeout: 260 seconds]
dxld has joined #yosys
cemerick_ has joined #yosys
xerpi has joined #yosys
cemerick_ has quit [Ping timeout: 260 seconds]
m_w has quit [Read error: Connection reset by peer]
m_w has joined #yosys
dxld has quit [Ping timeout: 276 seconds]
dxld has joined #yosys
dys has quit [Ping timeout: 268 seconds]
dxld has quit [Ping timeout: 260 seconds]
cemerick_ has joined #yosys
cemerick_ has quit [Ping timeout: 260 seconds]
xerpi has quit [Quit: Leaving]
m_t has quit [Quit: Leaving]
develonepi3 has quit [Remote host closed the connection]
dxld has joined #yosys
dxld has quit [Ping timeout: 256 seconds]
dxld has joined #yosys
tpb has quit [Remote host closed the connection]
tpb has joined #yosys