clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
tpb has joined #yosys
alcorn has joined #yosys
craigo has joined #yosys
cr1901_modern has quit [Ping timeout: 240 seconds]
PyroPeter has quit [Ping timeout: 276 seconds]
craigo has quit [Quit: leaving]
craigo has joined #yosys
alcorn has quit [Quit: alcorn]
alcorn has joined #yosys
PyroPeter has joined #yosys
alcorn has quit [Ping timeout: 265 seconds]
_whitelogger has joined #yosys
FabM has joined #yosys
umarcor|2 has quit [Ping timeout: 240 seconds]
cr1901_modern has joined #yosys
Jybz has joined #yosys
emeb_mac has quit [Quit: Leaving.]
adjtm_ has quit [Ping timeout: 265 seconds]
adjtm_ has joined #yosys
m4ssi has joined #yosys
fsasm has joined #yosys
dys has quit [Ping timeout: 268 seconds]
dys has joined #yosys
SpaceCoaster has quit [Ping timeout: 276 seconds]
fsasm has quit [Quit: Leaving]
fsasm has joined #yosys
Stary has quit [Quit: ZNC - http://znc.in]
cr1901_modern has quit [Quit: Leaving.]
pie__ has quit [Ping timeout: 240 seconds]
Stary has joined #yosys
jryans has quit [Ping timeout: 250 seconds]
jryans has joined #yosys
jryans has quit [Ping timeout: 248 seconds]
jryans has joined #yosys
pie_ has joined #yosys
adjtm has joined #yosys
adjtm_ has quit [Ping timeout: 240 seconds]
adjtm_ has joined #yosys
X-Scale` has joined #yosys
ebb_ has joined #yosys
captain_morgan20 has joined #yosys
ybit has joined #yosys
knielsen_ has joined #yosys
captain_morgan2 has quit [Ping timeout: 268 seconds]
X-Scale has quit [Ping timeout: 268 seconds]
elGamal has quit [Ping timeout: 268 seconds]
heath has quit [Ping timeout: 268 seconds]
markus-k has quit [Ping timeout: 268 seconds]
craigo has quit [Ping timeout: 268 seconds]
kristianpaul has quit [Ping timeout: 268 seconds]
Forty-Bot has quit [Ping timeout: 268 seconds]
knielsen has quit [Ping timeout: 268 seconds]
adjtm has quit [Ping timeout: 268 seconds]
cyrozap has quit [Ping timeout: 268 seconds]
pacak has quit [Ping timeout: 268 seconds]
fengling has quit [Ping timeout: 268 seconds]
nurelin has quit [Ping timeout: 268 seconds]
ebb has quit [Ping timeout: 268 seconds]
Nazara has quit [Ping timeout: 268 seconds]
kristian1 has joined #yosys
X-Scale` is now known as X-Scale
craigo has joined #yosys
Nazara has joined #yosys
nurelin has joined #yosys
elGamal has joined #yosys
fengling has joined #yosys
Forty-Bot has joined #yosys
cyrozap has joined #yosys
pacak has joined #yosys
kristian1 has quit [Quit: WeeChat 1.9.1]
kristianpaul has joined #yosys
emeb has joined #yosys
Cerpin has quit [Read error: Connection reset by peer]
Cerpin has joined #yosys
m4ssi has quit [Remote host closed the connection]
fsasm has quit [Ping timeout: 265 seconds]
forksand has quit [Ping timeout: 265 seconds]
FabM has quit [Quit: Leaving]
craigo has quit [Ping timeout: 250 seconds]
cr1901_modern has joined #yosys
forksand has joined #yosys
adjtm_ has quit [Ping timeout: 250 seconds]
alcorn has joined #yosys
ZipCPU has quit [Quit: ZNC 1.6.4 - http://znc.in]
ZipCPU has joined #yosys
pie_ has quit [Ping timeout: 240 seconds]
alcorn has quit [Ping timeout: 268 seconds]
adjtm_ has joined #yosys
nanor000 has joined #yosys
<nanor000> Can someone confirm that compiling Yosys with support for the verific frontend parser requires buying the parser from Verific Design Automation, Inc ?
pie_ has joined #yosys
<daveshah> No, it requires buying Symbiotic EDA Suite
<nanor000> Ok - thanks - The readme in Yosys and SymbiYosys github repos should mentionned that... Lot of the claims on SymbiYosys being able to read SVA stuff are only available to Symbiotic EDA customers then
<whitequark> SymbiYosys can read basic SVA constructs
<whitequark> without a Verific frontend
<daveshah> Indeed, enough for things like riscv-formal
<nanor000> that's true I was confused by the example provided with SymbiYosys - some are using SVA but don't mention the need of a specific version of SymbiYosys
pie_ has quit [Ping timeout: 265 seconds]
gnufan_home has joined #yosys
pie_ has joined #yosys
dys has quit [Ping timeout: 240 seconds]
dys has joined #yosys
alcorn has joined #yosys
emeb_mac has joined #yosys
Jybz has quit [Ping timeout: 240 seconds]
stzsch has joined #yosys
bwidawsk has quit [Remote host closed the connection]
bwidawsk has joined #yosys
gnufan_home has quit [Quit: Leaving.]
alcorn has quit [Ping timeout: 240 seconds]
alcorn has joined #yosys
alcorn has quit [Ping timeout: 240 seconds]
forksand has quit [Ping timeout: 268 seconds]
forksand has joined #yosys
emeb has quit [Quit: Leaving.]
tpb has quit [Remote host closed the connection]