aynah[m] has joined #yosys
X-Scale has joined #yosys
swick has joined #yosys
lok[m] has joined #yosys
pointfree1 has joined #yosys
Guest88527 has joined #yosys
johnwhitlow[m] has joined #yosys
marbler has joined #yosys
danieljabailey has quit [Ping timeout: 248 seconds]
danieljabailey has joined #yosys
proteusguy has quit [Ping timeout: 255 seconds]
proteusguy has joined #yosys
sklv has quit [Quit: quit]
digshadow has quit [Ping timeout: 258 seconds]
<
bubble_buster>
anybody considering being a Google Summer of Code mentor organization? ZipCPU? clifford?
<
ZipCPU>
I've never done that before. Would you be interested in it in some fashion if I chose to do so?
<
bubble_buster>
maybe. I'm interested in working on the tools more than using them, so, yes, if it was a project like that
<
bubble_buster>
I like the stuff you're doing to but idk about doing a whole GSoC project like that
<
ZipCPU>
Well, ok, sure. Clifford currently has a couple of understudies, so he'd really be the person to talk to.
jhol has quit [Quit: Coyote finally caught me]
mbuf has joined #yosys
nrossi has joined #yosys
digshadow has joined #yosys
FabM has quit [Ping timeout: 248 seconds]
pie_ has joined #yosys
FabM has joined #yosys
dys has joined #yosys
pie__ has joined #yosys
pie_ has quit [Remote host closed the connection]
pie___ has joined #yosys
pie__ has quit [Ping timeout: 255 seconds]
FabM has quit [Ping timeout: 248 seconds]
dys has quit [Ping timeout: 260 seconds]
mattvenn has joined #yosys
dys has joined #yosys
m_t has joined #yosys
eightdot has quit [Ping timeout: 248 seconds]
eightdot has joined #yosys
sklv has joined #yosys
sklv has quit [Quit: quit]
AlexDaniel has quit [Ping timeout: 240 seconds]
adj__ has quit [Excess Flood]
adj__ has joined #yosys
proteus-guy has quit [Ping timeout: 240 seconds]
proteus-guy has joined #yosys
adj__ has quit [Ping timeout: 248 seconds]
adj__ has joined #yosys
mbuf has quit [Quit: Leaving]
pie___ has quit [Ping timeout: 258 seconds]
mattvenn has quit [Ping timeout: 248 seconds]
sklv has joined #yosys
pie_ has joined #yosys
sklv has quit [Ping timeout: 248 seconds]
sklv has joined #yosys
_whitelogger_ has joined #yosys
andi- has quit [*.net *.split]
fouric has quit [*.net *.split]
ssb has quit [*.net *.split]
puddingpimp has quit [*.net *.split]
m_t has quit [*.net *.split]
Guest88527 has quit [*.net *.split]
bpye has quit [*.net *.split]
promach has quit [*.net *.split]
bluesceada has quit [*.net *.split]
bubble_buster has quit [*.net *.split]
captain_morgan has quit [*.net *.split]
pepijndevos has quit [*.net *.split]
xa0 has quit [*.net *.split]
jeandet has quit [*.net *.split]
svenn has quit [*.net *.split]
digshadow has quit [*.net *.split]
Marex has quit [*.net *.split]
rattboi has quit [*.net *.split]
pie_ has quit [*.net *.split]
danieljabailey has quit [*.net *.split]
swick has quit [*.net *.split]
rqou has quit [*.net *.split]
aynah[m] has quit [Ping timeout: 246 seconds]
quigonjinn has quit [Ping timeout: 255 seconds]
ssb has joined #yosys
puddingpimp has joined #yosys
andi- has joined #yosys
fouric has joined #yosys
pointfree1 has quit [Ping timeout: 255 seconds]
phil_gekni has joined #yosys
_whitelogger has joined #yosys
johnwhitlow[m] has joined #yosys
quigonjinn has joined #yosys
jhol has joined #yosys
pie_ has joined #yosys
mattvenn has joined #yosys
m_t has quit [Quit: Leaving]
johnwhitlow[m] has quit [Ping timeout: 255 seconds]
pie_ has quit [Ping timeout: 240 seconds]
adj__ has quit [Ping timeout: 248 seconds]
X-Scale has quit [Ping timeout: 248 seconds]
C_Elegans has joined #yosys
X-Scale has joined #yosys
pie_ has joined #yosys
<
mattvenn>
just found out that in yosys, you can type help $reduce_or or help $pmux to get info on those mappings
<
mattvenn>
and help $pmux+ will get you the verilog
<
mattvenn>
very useful!
mbuf has joined #yosys
digshadow has quit [Ping timeout: 240 seconds]
johnwhitlow[m] has joined #yosys
mbuf has quit [Quit: Leaving]
dys has quit [Ping timeout: 258 seconds]
johnwhitlow[m] has quit [Remote host closed the connection]
digshadow has joined #yosys
m_t has joined #yosys
johnwhitlow[m] has joined #yosys
dys has joined #yosys
<
ZipCPU>
Ever thought of trying the write_verilog function?
AlexDaniel has joined #yosys
marbler has joined #yosys
lok[m] has joined #yosys
Guest13073 has joined #yosys
aynah[m] has joined #yosys
swick has joined #yosys
pointfree1 has joined #yosys
<
mattvenn>
@zipcpu didn't even know it existed!
<
mattvenn>
so far I've learnt read_verilog, proc, opt, show and now help
lok[m] has quit [Ping timeout: 240 seconds]
Guest13073 has quit [Ping timeout: 240 seconds]
swick has quit [Ping timeout: 252 seconds]
aynah[m] has quit [Ping timeout: 252 seconds]
johnwhitlow[m] has quit [Ping timeout: 248 seconds]
pointfree1 has quit [Ping timeout: 248 seconds]
marbler has quit [Ping timeout: 250 seconds]
<
ZipCPU>
One of the recent capabilities I found was "opt -share_all". Now that I've learned it, I'm tending to use it everywhere.
TFKyle has joined #yosys
<
awygle>
What's the benefit of -share_all over standard opt?
<
ZipCPU>
If you have two separate instantiations of identical logic, -share_all forces them to share resources
<
ZipCPU>
I discovered this option while trying to find a way to solve a formal problem.
<
awygle>
Ah. So it is like link time optimization? It causes the optimizer to look past module boundaries?
nrossi has quit [Quit: Connection closed for inactivity]
<
ZipCPU>
Yeah, sort of like that.
aynah[m] has joined #yosys
mattvenn has quit [Ping timeout: 268 seconds]
m_t has quit [*.net *.split]
X-Scale has quit [*.net *.split]
danieljabailey has quit [*.net *.split]
kerel has quit [*.net *.split]
jophish has quit [*.net *.split]
rqou has quit [*.net *.split]
digshadow has quit [Ping timeout: 255 seconds]
X-Scale has joined #yosys
rqou has joined #yosys
jophish has joined #yosys
danieljabailey has joined #yosys
m_t has joined #yosys
kerel has joined #yosys
dys has quit [Ping timeout: 252 seconds]
digshadow has joined #yosys
m_t has quit [Quit: Leaving]
digshadow has quit [Read error: Connection reset by peer]
X-Scale has quit [*.net *.split]
danieljabailey has quit [*.net *.split]
kerel has quit [*.net *.split]
jophish has quit [*.net *.split]
rqou has quit [*.net *.split]
rqou has joined #yosys
kerel has joined #yosys
X-Scale has joined #yosys
danieljabailey has joined #yosys
jophish has joined #yosys
digshadow has joined #yosys
X-Scale has quit [Ping timeout: 264 seconds]