clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
ZipCPU|Laptop has joined #yosys
pie_ has quit [Ping timeout: 245 seconds]
ZipCPU|Laptop has quit [Ping timeout: 248 seconds]
cemerick_ has quit [Ping timeout: 256 seconds]
Exaeta has joined #yosys
ZipCPU|Laptop has joined #yosys
jkiv has joined #yosys
m_w has joined #yosys
<jkiv> Anyone have any success with the ice40 ultralite plus series and icestorm?
<ZipCPU|Laptop> jkiv: Ask daveshah about it (when he's up, or ask now and wait). If I understand correctly, he's been working with them.
<sorear> i don't own any parts and have never tried either way, but my understanding is that icestorm supports ice40 and UltraPlus LP and HX families
<sorear> UltraLite is a different group of products and support would need to be added
<jkiv> sorear, sorry I might be confusing my product lines
<jkiv> yeah, I've been playing around with the HX, but am started to be interested in the UltraPlus.
<jkiv> ice40up5k
<awygle> ice40up5k is definitely supported, almost completely
<jkiv> awygle, awesome, do you know if that includes the DSP? D:
<awygle> jkiv: yes, but not... dsp chaining, iirc. let me check.
<jkiv> dang, looking for 64-bit mult
<jkiv> haha, i've said too much
<ZipCPU|Laptop> I think you can get DSP support if you instantiate it directly, rather than inferring it.
<awygle> DSP cascading
<awygle> with "accumci and signextin"
<awygle> is what's not supported
<awygle> (i don't know much about the ultraplus, i'm just quoting https://irclog.whitequark.org/yosys/2018-01-30#21190220)
<jkiv> awesome, thanks
digshadow has quit [Ping timeout: 276 seconds]
seldridge has quit [Ping timeout: 265 seconds]
digshadow has joined #yosys
seldridge has joined #yosys
thoughtpolice has quit [Ping timeout: 240 seconds]
mithro has quit [Read error: Connection reset by peer]
bubble_buster has quit [Read error: Connection reset by peer]
marex-cloud has quit [Read error: Connection reset by peer]
lvrp16 has quit [Ping timeout: 240 seconds]
daveshah has quit [Read error: Connection reset by peer]
guan has quit [Ping timeout: 240 seconds]
sorear has quit [Read error: Connection reset by peer]
pointfree has quit [Read error: Network is unreachable]
jeandet has quit [Read error: Connection reset by peer]
_florent_ has quit [Ping timeout: 255 seconds]
furan-- has quit [Ping timeout: 255 seconds]
guan has joined #yosys
ovf has quit [Ping timeout: 256 seconds]
cfelton has quit [Ping timeout: 256 seconds]
thoughtpolice has joined #yosys
daveshah has joined #yosys
bubble_buster has joined #yosys
marex-cloud has joined #yosys
pointfree has joined #yosys
mithro has joined #yosys
furan-- has joined #yosys
<awygle> anyone know if yosys supports "unique case"?
cfelton has joined #yosys
_florent_ has joined #yosys
marex-cloud has quit [Ping timeout: 240 seconds]
ovf has joined #yosys
sorear has joined #yosys
jeandet has joined #yosys
marex-cloud has joined #yosys
lvrp16 has joined #yosys
jkiv has quit [Remote host closed the connection]
jkiv has joined #yosys
jkiv has quit [Ping timeout: 256 seconds]
sklv has quit [Remote host closed the connection]
sklv has joined #yosys
AlexDaniel has joined #yosys
seldridge has quit [Ping timeout: 240 seconds]
AlexDaniel has quit [Ping timeout: 268 seconds]
ZipCPU has quit [Ping timeout: 248 seconds]
sklv has quit [Quit: quit]
AlexDaniel has joined #yosys
dys has joined #yosys
leviathan has joined #yosys
GuzTech has joined #yosys
proteus-guy has quit [Remote host closed the connection]
xrexeon has joined #yosys
fsasm has joined #yosys
m_t has joined #yosys
AlexDaniel has quit [Ping timeout: 260 seconds]
GuzTech has quit [Ping timeout: 265 seconds]
GuzTech has joined #yosys
AlexDaniel has joined #yosys
proteus-guy has joined #yosys
proteus-guy has quit [Remote host closed the connection]
zino has quit [Ping timeout: 240 seconds]
zino has joined #yosys
cemerick_ has joined #yosys
ZipCPU|Laptop has quit [Ping timeout: 276 seconds]
xrexeon has quit [Remote host closed the connection]
jkiv has joined #yosys
knielsen_ has quit [Read error: Connection reset by peer]
knielsen has joined #yosys
proteus-guy has joined #yosys
leviathan has quit [Remote host closed the connection]
leviathan has joined #yosys
leviathan has quit [Read error: Connection reset by peer]
leviathan has joined #yosys
pie_ has joined #yosys
jkiv has quit [Ping timeout: 265 seconds]
seldridge has joined #yosys
cemerick_ has quit [Ping timeout: 260 seconds]
kc8apf_ has joined #yosys
jkiv has joined #yosys
promach_ has joined #yosys
<promach_> how would you guys compare yosys capability to UVM ?
jkiv has quit [Ping timeout: 248 seconds]
jhol has quit [Quit: Coyote finally caught me]
jhol has joined #yosys
GuzTech has quit [Quit: Leaving]
zino has quit [Ping timeout: 240 seconds]
promach_ has quit [Ping timeout: 256 seconds]
zino has joined #yosys
dys has quit [Ping timeout: 260 seconds]
dys has joined #yosys
digshadow has quit [Ping timeout: 252 seconds]
zino has quit [Ping timeout: 260 seconds]
zino has joined #yosys
<philtor> Got my BlackIceII board yesterday. Lights are blinking. Thanks Yosys developers.
<thoughtpolice> awygle: don't think so. I think the only real SV features Yosys supports might be the properties (assert/assume/cover etc)?
<thoughtpolice> I'd like enums, on that note.
<awygle> thoughtpolice: well it has the "unique" keywod in the lexer :P that's as much investigation as i did
<awygle> i know it supports e.g. "logic" as a data type
<awygle> seems like the easy SV features are getting thrown in as useful but the complicated ones aren't (which is obviously sensible)
digshadow has joined #yosys
sklv has joined #yosys
kc8apf has quit [Quit: leaving]
kc8apf_ is now known as kc8apf
fsasm has quit [Ping timeout: 276 seconds]
<cr1901_modern> Doesn't support the "implies" operator sadly
<thoughtpolice> I noticed that one a while back, myself.
<awygle> I wish I could name properties. Clifford has said several times he doesn't like sv properties but I would much prefer to be able to write at an appropriate level of abstraction :-/
<awygle> Block comments will have to do for now.
seldridge has quit [Ping timeout: 256 seconds]
tmiw has quit [Ping timeout: 256 seconds]
tmiw has joined #yosys
m_w has quit [Quit: leaving]
seldridge has joined #yosys
m_w has joined #yosys
<thoughtpolice> Speaking of properties I was reading up about LTL yesterday and found this neat online converter from LTL to automata: https://spot.lrde.epita.fr/trans.html -- neat to think about certain safety conditions like liveness as an automata.
<thoughtpolice> Has anyone here used yosys's liveness support?
<awygle> thoughtpolice: I've used "cover", which is sort of liveness-like, but not the actual "live" mode
<awygle> The docs say something about "only works on AIGER - based flow" and that scared me :-P
fsasm has joined #yosys
seldridge has quit [Ping timeout: 248 seconds]
GuzTech has joined #yosys
AlexDaniel has quit [Ping timeout: 256 seconds]
seldridge has joined #yosys
leviathan has quit [Read error: Connection reset by peer]
TomV has joined #yosys
TomV is now known as Guest76411
Guest76411 has quit [Client Quit]
Exaeta has quit [Quit: Leaving]
GuzTech has quit [Ping timeout: 265 seconds]
seldridge has quit [Ping timeout: 252 seconds]
sklv has quit [Remote host closed the connection]
sklv has joined #yosys