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 quit [Remote host closed the connection]
tpb has joined #yosys
craigo has quit [Ping timeout: 240 seconds]
az0re has joined #yosys
Degi has quit [Ping timeout: 264 seconds]
Degi has joined #yosys
citypw has joined #yosys
develonepi3 has quit [Quit: Leaving]
futarisIRCcloud has joined #yosys
emeb_mac has quit [Ping timeout: 264 seconds]
emeb_mac has joined #yosys
kgugala_ has joined #yosys
kgugala has quit [Ping timeout: 246 seconds]
Guest40933 has left #yosys [#yosys]
peepsalot has quit [Ping timeout: 246 seconds]
peepsalot has joined #yosys
az0re has quit [Ping timeout: 240 seconds]
emeb_mac has quit [Quit: Leaving.]
Asu has joined #yosys
kgugala_ has quit [Ping timeout: 258 seconds]
kgugala has joined #yosys
jakobwenzel has joined #yosys
kgugala has quit [Read error: Connection reset by peer]
kgugala_ has joined #yosys
kgugala has joined #yosys
kgugala_ has quit [Ping timeout: 246 seconds]
kraiskil has joined #yosys
kgugala has quit [Read error: Connection reset by peer]
kgugala has joined #yosys
nengel has joined #yosys
kgugala has quit [Ping timeout: 258 seconds]
N2TOH has joined #yosys
N2TOH_ has quit [Read error: Connection reset by peer]
mirage335 has quit [Ping timeout: 258 seconds]
<maartenBE> Hello, when I use the cxxrtl backend on a simple blinky verilog module, the generated header/source does not contain any blinky specific source.
<maartenBE> This is on current master.
<maartenBE> The module + yosys script + generated sources are at https://gist.github.com/madebr/c840cdb9bbda03def5dd9ffaf68ad07e
<tpb> Title: Running yosys cxxrtl backend on blinky · GitHub (at gist.github.com)
<whitequark> first off, please don't use the `proc; flatten; clean; splitnets -driver; clean -purge` line
kgugala has joined #yosys
<maartenBE> Ok, removing it does not change behavior.
<whitequark> it does actually for me
<whitequark> but then it works with that line as well
<whitequark> let me see
<whitequark> which exact commit are you using?
<whitequark> and what is your yosys command line?
<maartenBE> commit 70771352
<whitequark> there's no such yosys commit
<tpb> Title: Merge pull request #2159 from MerryMage/cxxrtl-mul · YosysHQ/yosys@334ec5f · GitHub (at github.com)
<maartenBE> Excuse me, it was 334ec5fa0a9. I accidentally copied the sha256 hash of the zip
<whitequark> how are you running yosys?
<maartenBE> yosys script.ys, under `add_custom_command` inside cmake
<whitequark> if you download your own gist, then run `yosys proc.ys`, does it work for you?
<whitequark> because i get this: https://paste.debian.net/1152304/
<tpb> Title: debian Pastezone (at paste.debian.net)
<maartenBE> (this is taking long because I just started rebuilding yosys)
X-Scale has quit [Ping timeout: 260 seconds]
X-Scale has joined #yosys
seraxis has quit [Ping timeout: 260 seconds]
rqou has quit [Ping timeout: 272 seconds]
rqou has joined #yosys
seraxis has joined #yosys
<maartenBE> No matter what options I give to make, the generated sources remain the same..
<maartenBE> Is there some way to get more verbose output?
<daveshah> Have you tried it without CMake as wq said yet?
<maartenBE> Yes, same result.
<daveshah> And the design is non-empty before cxxrtl per the ilang output?
<maartenBE> I've added the output log and ilang to the gist at https://gist.github.com/madebr/c840cdb9bbda03def5dd9ffaf68ad07e
<tpb> Title: Running yosys cxxrtl backend on blinky · GitHub (at gist.github.com)
<maartenBE> The blinky module is visible in the ilang file
<daveshah> works fine for me, too
<daveshah> you can pass -g to yosys for slightly more verbose output, but I don't know if that helps much here
<whitequark> yeah, no idea what goes wrong
<maartenBE> I haven't run make test yet, I'll try that
benh has quit [Ping timeout: 256 seconds]
benh has joined #yosys
Lofty has quit [Ping timeout: 240 seconds]
<daveshah> Anything unusual about your OS or toolchain?
<maartenBE> The os is fedora 30, using the system gcc compiler. And I use conan, using system packages (no conan packages).
N2TOH_ has joined #yosys
N2TOH has quit [Ping timeout: 256 seconds]
hitomi2500 has joined #yosys
<maartenBE> The tests run fine...
andrewb1999 has joined #yosys
emilazy_ has joined #yosys
Asuu has joined #yosys
seraxis has quit [Ping timeout: 256 seconds]
rjeli has quit [Ping timeout: 256 seconds]
N2TOH has joined #yosys
emilazy has quit [Write error: Connection reset by peer]
Asu has quit [Remote host closed the connection]
emilazy_ is now known as emilazy
benh has quit [Ping timeout: 256 seconds]
futarisIRCcloud has quit [Ping timeout: 256 seconds]
rohitksingh has quit [Ping timeout: 256 seconds]
lukego has quit [Ping timeout: 256 seconds]
N2TOH_ has quit [Ping timeout: 256 seconds]
futarisIRCcloud has joined #yosys
rjeli has joined #yosys
seraxis has joined #yosys
rohitksingh has joined #yosys
lukego has joined #yosys
jfcaron has joined #yosys
Lofty has joined #yosys
kgugala has quit [Quit: -a- Connection Timed Out]
kgugala has joined #yosys
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
emeb has joined #yosys
bzztploink has quit [Ping timeout: 256 seconds]
FFY00 has quit [Remote host closed the connection]
FFY00 has joined #yosys
bzztploink has joined #yosys
citypw has quit [Ping timeout: 240 seconds]
hitomi2500 has quit [Quit: Nettalk6 - www.ntalk.de]
develonepi3 has joined #yosys
jakobwenzel has quit [Remote host closed the connection]
az0re has joined #yosys
<tnt> ERROR: Mismatch in directionality for cell port $paramod$eb8ac1f548f32e0d53e54d71ace4509f90139868\usb_ep_buf.ram_I.WD0: \ram_I.WD0 <= \ram_wdata
<tnt> I mean ram_I.WD0 is an input ... so I'm not sure what this is complaining about :/
<tnt> Is there anyway to get more details/info ?
<Lofty> If it's an input, then doesn't "\ram_I.WD0 <= \ram_wdata" write to an input?
<tnt> Well ram_wdata is a signal in the module that instanciates ram_I.
<Lofty> No, ignore ram_wdata
<tnt> ?
<Lofty> If ram_I.WD0 is an input, that line writes to an input port
<Lofty> Which is why you get an error
<tnt> But that "line" is nowhere in the source code.
<tnt> That's the message printed by yosys but " \ram_I.WD0 <= \ram_wdata" is nowhere in my code.
maartenBE has quit [Ping timeout: 258 seconds]
maartenBE has joined #yosys
<thardin> does yosys support union types?
<daveshah> I think there was some union support added recently
<tnt> Oh ... did yosys just get something that would make signal[35:36] _not_ being empty ?
<thardin> hmm.. I'm completely green on systemverilog, is there some magic necessary for yosys to parse files as that?
<thardin> .sv maybe
<tnt> -sv argument to read_verilog
<Lofty> If you pass a file with .sv it'll be inferred as SV
<tnt> oh interesting, didn't know that.
<daveshah> only on the command line, not to read_verilog, right?
kraiskil has quit [Ping timeout: 256 seconds]
<thardin> of the examples in https://www.verilogpro.com/systemverilog-structures-unions-design/ only the enums work, not the struct or unions. but my yosys is a couple of months old I think
<daveshah> yeah I think it was only merged in the last month or so
<daveshah> and I can't vouch for how complete it is
<thardin> I'm on a0cc795e from march 12th
<thardin> don't need unions quite yet, but it's good to know it's being worked on. indispensible for smaller devices like the hx1k I suspect
<thardin> I'm already doing "poor man's unions" by repurposing counters
andrewb1999 has quit [Ping timeout: 256 seconds]
andrewb1999 has joined #yosys
<lambda> tnt: the force_downto attribute was added recently, might be related - see https://github.com/YosysHQ/yosys/issues/2058 for more info on that awfulnes
<tpb> Title: Fix 0-WIDTH wire handling in techmap rules. · Issue #2058 · YosysHQ/yosys · GitHub (at github.com)
ZipCPU has quit [Ping timeout: 246 seconds]
ZipCPU has joined #yosys
daknig has quit [Ping timeout: 246 seconds]
daknig has joined #yosys
FL4SHK has quit [Ping timeout: 256 seconds]
FL4SHK has joined #yosys
daknig has quit [Ping timeout: 260 seconds]
<tnt> lambda: seems related indeed.
<whitequark> i think https://github.com/YosysHQ/yosys/pull/2027 is the cause for tnt's trouble
<tpb> Title: ast: swap range regardless of range_left >= 0 by eddiehung · Pull Request #2027 · YosysHQ/yosys · GitHub (at github.com)
<tnt> yup. the 'RAMB' wrapper for quicklogic needed a couple of (* force_downto *)
<tnt> although ... that didn't actually fix it :/
emeb_mac has joined #yosys
mirage335 has joined #yosys
daknig has joined #yosys
daknig has quit [Ping timeout: 260 seconds]
FL4SHK has quit [Ping timeout: 256 seconds]
FL4SHK has joined #yosys
emeb has quit [Ping timeout: 256 seconds]
andrewb1999 has quit [Ping timeout: 256 seconds]
emeb has joined #yosys
daknig has joined #yosys
fevv8[m] has quit [*.net *.split]
seraxis has quit [Ping timeout: 256 seconds]
promach3 has quit [*.net *.split]
jhol has quit [*.net *.split]
filt3r has quit [*.net *.split]
promach3 has joined #yosys
jhol has joined #yosys
filt3r has joined #yosys
develonepi3 has quit [Remote host closed the connection]
fevv8[m] has joined #yosys
Asu has joined #yosys
fevv8[m] has quit [*.net *.split]
Asuu has quit [Ping timeout: 256 seconds]
jhol has quit [*.net *.split]
filt3r has quit [*.net *.split]
madushan1000 has quit [*.net *.split]
tpb has quit [*.net *.split]
knielsen has quit [*.net *.split]
corecode has quit [*.net *.split]
vup has quit [*.net *.split]
jryans has quit [*.net *.split]
Twix has quit [*.net *.split]
simeonm has quit [*.net *.split]
ebb has quit [*.net *.split]
tmiw has quit [*.net *.split]
esden has quit [*.net *.split]
anticw has quit [*.net *.split]
ross_s has quit [*.net *.split]
tmbinc has quit [*.net *.split]
Marex has quit [*.net *.split]
Asu has quit [*.net *.split]
carlomaragno has quit [*.net *.split]
cyrozap has quit [*.net *.split]
FL4SHK has quit [*.net *.split]
jfcaron has quit [*.net *.split]
somlo has quit [*.net *.split]
bubble_buster has quit [*.net *.split]
gtw has quit [*.net *.split]
thoughtpolice has quit [*.net *.split]
daveshah has quit [*.net *.split]
anuejn has quit [*.net *.split]
smarter has quit [*.net *.split]
chipb has quit [*.net *.split]
proteusguy has quit [*.net *.split]
lethalbit has quit [*.net *.split]
mmicko has quit [*.net *.split]
kbeckmann has quit [*.net *.split]
emeb has quit [*.net *.split]
bzztploink has quit [*.net *.split]
kgugala has quit [*.net *.split]
nengel has quit [*.net *.split]
josi has quit [*.net *.split]
mwk has quit [*.net *.split]
miek has quit [*.net *.split]
mithro has quit [*.net *.split]
Xark has quit [*.net *.split]
MoeIcenowy has quit [*.net *.split]
Nazara has quit [*.net *.split]
N2TOH has quit [*.net *.split]
captain_morgan has quit [*.net *.split]
smkz has quit [*.net *.split]
rrika has quit [*.net *.split]
emily has quit [*.net *.split]
pointfree has quit [*.net *.split]
TD-Linux has quit [*.net *.split]
Stary has quit [*.net *.split]
phantomcircuit has quit [*.net *.split]
daknig has quit [*.net *.split]
emeb_mac has quit [*.net *.split]
Thorn has quit [*.net *.split]
oldtopman has quit [*.net *.split]
Ristovski has quit [*.net *.split]
tannewt has quit [*.net *.split]
elms has quit [*.net *.split]
elGamal has quit [*.net *.split]
rektide has quit [*.net *.split]
Lofty has quit [*.net *.split]
qu1j0t3 has quit [*.net *.split]
sensille has quit [*.net *.split]
Kamilion has quit [*.net *.split]
Ekho has quit [*.net *.split]
daddesio has quit [*.net *.split]
ronyrus has quit [*.net *.split]
thardin has quit [*.net *.split]
phire has quit [*.net *.split]
az0re has quit [*.net *.split]
promach3 has quit [*.net *.split]
mirage335 has quit [*.net *.split]
ktemkin has quit [*.net *.split]
kmehall_ has quit [*.net *.split]
awygle has quit [*.net *.split]
flokli has quit [*.net *.split]
dkozel has quit [*.net *.split]
maartenBE has quit [*.net *.split]
indy has quit [*.net *.split]
adjtm_ has quit [*.net *.split]
pie_ has quit [*.net *.split]
agg has quit [*.net *.split]
rjeli has quit [*.net *.split]
lukego has quit [*.net *.split]
rohitksingh has quit [*.net *.split]
emilazy has quit [*.net *.split]
Sarayan has quit [*.net *.split]
unkraut has quit [*.net *.split]
flammit has quit [*.net *.split]
litghost has quit [*.net *.split]
svenn has quit [*.net *.split]
lambda has quit [*.net *.split]
whitequark has quit [*.net *.split]
kristianpaul has quit [*.net *.split]
heijligen has quit [*.net *.split]
gruetzkopf has quit [*.net *.split]
ZipCPU has quit [*.net *.split]
X-Scale has quit [*.net *.split]
peepsalot has quit [*.net *.split]
Degi has quit [*.net *.split]
Forty-Bot has quit [*.net *.split]
tlwoerner has quit [*.net *.split]
pacak has quit [*.net *.split]
dxld has quit [*.net *.split]
y2kbugger has quit [*.net *.split]
anishathalye has quit [*.net *.split]
pepijndevos has quit [*.net *.split]
tnt has quit [*.net *.split]
ovf has quit [*.net *.split]
srk has quit [*.net *.split]
cr1901_modern has quit [*.net *.split]
alexhw has quit [*.net *.split]
Max-P has quit [*.net *.split]
bluesceada has quit [*.net *.split]
ebb has joined #yosys
Xark has joined #yosys
MoeIcenowy has joined #yosys
Nazara has joined #yosys
miek has joined #yosys
josi has joined #yosys
mwk has joined #yosys
nengel has joined #yosys
kgugala has joined #yosys
bzztploink has joined #yosys
emeb has joined #yosys
agg has joined #yosys
pie_ has joined #yosys
madushan1000 has joined #yosys
adjtm_ has joined #yosys
phire has joined #yosys
indy has joined #yosys
kbeckmann has joined #yosys
mmicko has joined #yosys
simeonm has joined #yosys
lethalbit has joined #yosys
Twix has joined #yosys
cyrozap has joined #yosys
N2TOH has joined #yosys
carlomaragno has joined #yosys
Asu has joined #yosys
gruetzkopf has joined #yosys
heijligen has joined #yosys
kristianpaul has joined #yosys
whitequark has joined #yosys
lambda has joined #yosys
svenn has joined #yosys
flammit has joined #yosys
litghost has joined #yosys
unkraut has joined #yosys
Sarayan has joined #yosys
emilazy has joined #yosys
rohitksingh has joined #yosys
lukego has joined #yosys
elGamal has joined #yosys
rektide has joined #yosys
elms has joined #yosys
tannewt has joined #yosys
Ristovski has joined #yosys
Thorn has joined #yosys
oldtopman has joined #yosys
daknig has joined #yosys
Stary has joined #yosys
phantomcircuit has joined #yosys
TD-Linux has joined #yosys
pointfree has joined #yosys
smarter has joined #yosys
anuejn has joined #yosys
daveshah has joined #yosys
thoughtpolice has joined #yosys
gtw has joined #yosys
bubble_buster has joined #yosys
somlo has joined #yosys
jfcaron has joined #yosys
FL4SHK has joined #yosys
emeb_mac has joined #yosys
Max-P has joined #yosys
alexhw has joined #yosys
cr1901_modern has joined #yosys
chipb has joined #yosys
captain_morgan has joined #yosys
proteusguy has joined #yosys
bluesceada has joined #yosys
Marex has joined #yosys
tmbinc has joined #yosys
tmiw has joined #yosys
anticw has joined #yosys
tpb has joined #yosys
knielsen has joined #yosys
corecode has joined #yosys
vup has joined #yosys
rrika has joined #yosys
smkz has joined #yosys
esden has joined #yosys
ross_s has joined #yosys
_whitelogger has joined #yosys
daknig has quit [Ping timeout: 260 seconds]
emily has joined #yosys
jfcaron has quit [Ping timeout: 265 seconds]
maartenBE has quit [Read error: Connection timed out]
ovf has joined #yosys
maartenBE has joined #yosys
jryans has joined #yosys
promach3 has joined #yosys
daknig has joined #yosys
fevv8[m] has joined #yosys
madushan1000 has joined #yosys
Asu has quit [Quit: Konversation terminated!]
emeb has quit [Quit: Leaving.]