Tuesday, 2020-06-16

*** tpb has joined #yosys00:00
*** craigo has quit IRC00:19
*** az0re has joined #yosys00:33
*** Degi has quit IRC02:20
*** Degi has joined #yosys02:21
*** citypw has joined #yosys02:26
*** develonepi3 has quit IRC02:42
*** futarisIRCcloud has joined #yosys04:33
*** emeb_mac has quit IRC04:38
*** emeb_mac has joined #yosys04:39
*** kgugala_ has joined #yosys04:55
*** kgugala has quit IRC04:58
*** Guest40933 has left #yosys05:10
*** peepsalot has quit IRC05:20
*** peepsalot has joined #yosys05:30
*** az0re has quit IRC06:00
*** emeb_mac has quit IRC06:30
*** Asu has joined #yosys06:51
*** kgugala_ has quit IRC07:08
*** kgugala has joined #yosys07:10
*** jakobwenzel has joined #yosys07:20
*** kgugala has quit IRC07:34
*** kgugala_ has joined #yosys07:36
*** kgugala has joined #yosys07:54
*** kgugala_ has quit IRC07:54
*** kraiskil has joined #yosys08:04
*** kgugala has quit IRC08:05
*** kgugala has joined #yosys08:06
*** nengel has joined #yosys08:09
*** kgugala has quit IRC09:25
*** N2TOH has joined #yosys09:31
*** N2TOH_ has quit IRC09:31
*** mirage335 has quit IRC09:39
maartenBEHello, when I use the cxxrtl backend on a simple blinky verilog module, the generated header/source does not contain any blinky specific source.09:39
maartenBEThis is on current master.09:39
maartenBEThe module + yosys script + generated sources are at https://gist.github.com/madebr/c840cdb9bbda03def5dd9ffaf68ad07e09:40
tpbTitle: Running yosys cxxrtl backend on blinky · GitHub (at gist.github.com)09:40
whitequarkfirst off, please don't use the `proc; flatten; clean; splitnets -driver; clean -purge` line09:42
*** kgugala has joined #yosys09:42
maartenBEOk, removing it does not change behavior.09:43
whitequarkit does actually for me09:45
whitequarkbut then it works with that line as well09:45
whitequarklet me see09:45
whitequarkwhich exact commit are you using?09:46
whitequarkand what is your yosys command line?09:46
maartenBEcommit 7077135209:47
whitequarkthere's no such yosys commit09:47
whitequarkmaster is https://github.com/YosysHQ/yosys/commit/334ec5fa0a90b1816060c67bff72362cbd6483c709:47
tpbTitle: Merge pull request #2159 from MerryMage/cxxrtl-mul · YosysHQ/yosys@334ec5f · GitHub (at github.com)09:47
maartenBEExcuse me, it was 334ec5fa0a9. I accidentally copied the sha256 hash of the zip09:48
whitequarkhow are you running yosys?09:49
maartenBEyosys script.ys, under `add_custom_command` inside cmake09:49
whitequarkif you download your own gist, then run `yosys proc.ys`, does it work for you?09:50
whitequarkbecause i get this: https://paste.debian.net/1152304/09:51
tpbTitle: debian Pastezone (at paste.debian.net)09:51
maartenBE(this is taking long because I just started rebuilding yosys)09:58
*** X-Scale has quit IRC10:28
*** X-Scale has joined #yosys10:31
*** seraxis has quit IRC10:35
*** rqou has quit IRC10:35
*** rqou has joined #yosys10:35
*** seraxis has joined #yosys10:36
maartenBENo matter what options I give to make, the generated sources remain the same..10:57
maartenBEIs there some way to get more verbose output?10:58
daveshahHave you tried it without CMake as wq said yet?11:00
maartenBEYes, same result.11:01
daveshahAnd the design is non-empty before cxxrtl per the ilang output?11:02
maartenBEI've added the output log and ilang to the gist at https://gist.github.com/madebr/c840cdb9bbda03def5dd9ffaf68ad07e11:03
tpbTitle: Running yosys cxxrtl backend on blinky · GitHub (at gist.github.com)11:03
maartenBEThe blinky module is visible in the ilang file11:03
daveshahworks fine for me, too11:07
daveshahyou can pass -g to yosys for slightly more verbose output, but I don't know if that helps much here11:07
whitequarkyeah, no idea what goes wrong11:08
maartenBEI haven't run make test yet, I'll try that11:09
*** benh has quit IRC11:09
*** benh has joined #yosys11:09
*** Lofty has quit IRC11:10
daveshahAnything unusual about your OS or toolchain?11:13
maartenBEThe os is fedora 30, using the system gcc compiler. And I use conan, using system packages (no conan packages).11:19
*** N2TOH_ has joined #yosys12:22
*** N2TOH has quit IRC12:26
*** hitomi2500 has joined #yosys12:46
maartenBEThe tests run fine...13:21
*** andrewb1999 has joined #yosys13:55
*** emilazy_ has joined #yosys14:12
*** Asuu has joined #yosys14:12
*** seraxis has quit IRC14:14
*** rjeli has quit IRC14:15
*** emilazy has quit IRC14:16
*** Asu has quit IRC14:16
*** N2TOH has joined #yosys14:16
*** emilazy_ is now known as emilazy14:16
*** benh has quit IRC14:16
*** futarisIRCcloud has quit IRC14:16
*** rohitksingh has quit IRC14:16
*** lukego has quit IRC14:16
*** N2TOH_ has quit IRC14:18
*** futarisIRCcloud has joined #yosys14:18
*** rjeli has joined #yosys14:18
*** seraxis has joined #yosys14:18
*** rohitksingh has joined #yosys14:18
*** lukego has joined #yosys14:19
*** jfcaron has joined #yosys14:25
*** Lofty has joined #yosys14:34
*** kgugala has quit IRC14:52
*** kgugala has joined #yosys14:58
*** futarisIRCcloud has quit IRC15:02
*** emeb has joined #yosys15:09
*** bzztploink has quit IRC15:22
*** FFY00 has quit IRC15:22
*** FFY00 has joined #yosys15:25
*** bzztploink has joined #yosys15:29
*** citypw has quit IRC15:49
*** hitomi2500 has quit IRC16:00
*** develonepi3 has joined #yosys16:27
*** jakobwenzel has quit IRC16:28
*** az0re has joined #yosys16:31
tntERROR: Mismatch in directionality for cell port $paramod$eb8ac1f548f32e0d53e54d71ace4509f90139868\usb_ep_buf.ram_I.WD0: \ram_I.WD0 <= \ram_wdata18:45
tntI mean ram_I.WD0 is an input ... so I'm not sure what this is complaining about :/18:45
tntIs there anyway to get more details/info ?18:46
LoftyIf it's an input, then doesn't "\ram_I.WD0 <= \ram_wdata" write to an input?18:46
tntWell ram_wdata is a signal in the module that instanciates ram_I.18:46
LoftyNo, ignore ram_wdata18:47
tnt?18:47
LoftyIf ram_I.WD0 is an input, that line writes to an input port18:47
LoftyWhich is why you get an error18:47
tntBut that "line" is nowhere in the source code.18:47
tntThat's the message printed by yosys but " \ram_I.WD0 <= \ram_wdata" is nowhere in my code.18:48
*** maartenBE has quit IRC19:05
*** maartenBE has joined #yosys19:08
thardindoes yosys support union types?19:09
daveshahI think there was some union support added recently19:11
tntOh ... did yosys just get something that would make signal[35:36] _not_ being empty ?19:12
thardinhmm.. I'm completely green on systemverilog, is there some magic necessary for yosys to parse files as that?19:12
thardin.sv maybe19:13
tnt-sv argument to read_verilog19:13
LoftyIf you pass a file with .sv it'll be inferred as SV19:14
tntoh interesting, didn't know that.19:14
daveshahonly on the command line, not to read_verilog, right?19:14
*** kraiskil has quit IRC19:17
thardinof 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 think19:18
daveshahyeah I think it was only merged in the last month or so19:18
daveshahand I can't vouch for how complete it is19:18
thardinI'm on a0cc795e from march 12th19:19
thardindon't need unions quite yet, but it's good to know it's being worked on. indispensible for smaller devices like the hx1k I suspect19:19
thardinI'm already doing "poor man's unions" by repurposing counters19:20
*** andrewb1999 has quit IRC19:24
*** andrewb1999 has joined #yosys19:25
lambdatnt: the force_downto attribute was added recently, might be related - see https://github.com/YosysHQ/yosys/issues/2058 for more info on that awfulnes19:44
tpbTitle: Fix 0-WIDTH wire handling in techmap rules. · Issue #2058 · YosysHQ/yosys · GitHub (at github.com)19:44
*** ZipCPU has quit IRC19:45
*** ZipCPU has joined #yosys19:47
*** daknig has quit IRC20:23
*** daknig has joined #yosys20:25
*** FL4SHK has quit IRC20:28
*** FL4SHK has joined #yosys20:30
*** daknig has quit IRC20:30
tntlambda: seems related indeed.20:39
whitequarki think https://github.com/YosysHQ/yosys/pull/2027 is the cause for tnt's trouble20:40
tpbTitle: ast: swap range regardless of range_left >= 0 by eddiehung · Pull Request #2027 · YosysHQ/yosys · GitHub (at github.com)20:40
tntyup. the 'RAMB' wrapper for quicklogic needed a couple of (* force_downto *)20:42
tntalthough ... that didn't actually fix it :/20:43
*** emeb_mac has joined #yosys20:48
*** mirage335 has joined #yosys20:49
*** daknig has joined #yosys20:53
*** daknig has quit IRC20:58
*** FL4SHK has quit IRC21:52
*** FL4SHK has joined #yosys21:53
*** andrewb1999 has quit IRC21:54
*** emeb has quit IRC21:54
*** emeb has joined #yosys21:55
*** daknig has joined #yosys22:00
*** fevv8[m] has quit IRC22:01
*** seraxis has quit IRC22:03
*** promach3 has quit IRC22:04
*** jhol has quit IRC22:04
*** filt3r has quit IRC22:04
*** promach3 has joined #yosys22:07
*** jhol has joined #yosys22:12
*** filt3r has joined #yosys22:12
*** develonepi3 has quit IRC22:14
*** fevv8[m] has joined #yosys22:20
*** Asu has joined #yosys22:24
*** fevv8[m] has quit IRC22:27
*** Asuu has quit IRC22:27
*** jhol has quit IRC22:30
*** filt3r has quit IRC22:30
*** madushan1000 has quit IRC22:33
*** jryans has quit IRC22:33
*** Twix has quit IRC22:33
*** simeonm has quit IRC22:33
*** ebb has quit IRC22:33
*** tmiw has quit IRC22:33
*** anticw has quit IRC22:33
*** esden has quit IRC22:33
*** ross_s has quit IRC22:33
*** tmbinc has quit IRC22:33
*** Marex has quit IRC22:33
*** Asu has quit IRC22:33
*** carlomaragno has quit IRC22:33
*** cyrozap has quit IRC22:33
*** FL4SHK has quit IRC22:33
*** jfcaron has quit IRC22:33
*** somlo has quit IRC22:33
*** bubble_buster has quit IRC22:33
*** gtw has quit IRC22:33
*** thoughtpolice has quit IRC22:33
*** daveshah has quit IRC22:33
*** anuejn has quit IRC22:33
*** smarter has quit IRC22:33
*** chipb has quit IRC22:33
*** proteusguy has quit IRC22:33
*** lethalbit has quit IRC22:33
*** mmicko has quit IRC22:33
*** kbeckmann has quit IRC22:33
*** FFY00 has quit IRC22:33
*** rqou has quit IRC22:33
*** _whitelogger has quit IRC22:33
*** benreynwar has quit IRC22:33
*** sorear has quit IRC22:33
*** GenTooMan has quit IRC22:33
*** forrestv has quit IRC22:33
*** tux3 has quit IRC22:33
*** awordnot has quit IRC22:33
*** orkim has quit IRC22:33
*** Ultrasauce has quit IRC22:33
*** bwidawsk has quit IRC22:33
*** Wolf480pl has quit IRC22:33
*** emeb has quit IRC22:33
*** bzztploink has quit IRC22:33
*** kgugala has quit IRC22:33
*** nengel has quit IRC22:33
*** josi has quit IRC22:33
*** mwk has quit IRC22:33
*** miek has quit IRC22:33
*** mithro has quit IRC22:33
*** Xark has quit IRC22:33
*** MoeIcenowy has quit IRC22:33
*** Nazara has quit IRC22:33
*** N2TOH has quit IRC22:33
*** captain_morgan has quit IRC22:33
*** smkz has quit IRC22:33
*** rrika has quit IRC22:33
*** emily has quit IRC22:33
*** pointfree has quit IRC22:33
*** TD-Linux has quit IRC22:33
*** Stary has quit IRC22:33
*** phantomcircuit has quit IRC22:33
*** daknig has quit IRC22:33
*** emeb_mac has quit IRC22:33
*** Thorn has quit IRC22:33
*** oldtopman has quit IRC22:33
*** Ristovski has quit IRC22:33
*** elms has quit IRC22:33
*** tannewt has quit IRC22:33
*** rektide has quit IRC22:33
*** elGamal has quit IRC22:33
*** Lofty has quit IRC22:33
*** qu1j0t3 has quit IRC22:33
*** sensille has quit IRC22:33
*** Kamilion has quit IRC22:33
*** Ekho has quit IRC22:33
*** daddesio has quit IRC22:33
*** thardin has quit IRC22:33
*** ronyrus has quit IRC22:33
*** phire has quit IRC22:33
*** az0re has quit IRC22:33
*** promach3 has quit IRC22:33
*** mirage335 has quit IRC22:33
*** ktemkin has quit IRC22:33
*** kmehall_ has quit IRC22:33
*** awygle has quit IRC22:33
*** flokli has quit IRC22:33
*** dkozel has quit IRC22:33
*** maartenBE has quit IRC22:33
*** indy has quit IRC22:33
*** adjtm_ has quit IRC22:33
*** pie_ has quit IRC22:33
*** agg has quit IRC22:33
*** lukego has quit IRC22:33
*** rohitksingh has quit IRC22:33
*** rjeli has quit IRC22:33
*** emilazy has quit IRC22:33
*** Sarayan has quit IRC22:33
*** unkraut has quit IRC22:33
*** flammit has quit IRC22:33
*** litghost has quit IRC22:33
*** svenn has quit IRC22:33
*** lambda has quit IRC22:33
*** whitequark has quit IRC22:33
*** kristianpaul has quit IRC22:33
*** heijligen has quit IRC22:33
*** gruetzkopf has quit IRC22:33
*** ZipCPU has quit IRC22:33
*** X-Scale has quit IRC22:33
*** peepsalot has quit IRC22:33
*** Degi has quit IRC22:33
*** Forty-Bot has quit IRC22:33
*** tlwoerner has quit IRC22:33
*** pacak has quit IRC22:33
*** dxld has quit IRC22:33
*** ovf has quit IRC22:33
*** y2kbugger has quit IRC22:33
*** anishathalye has quit IRC22:33
*** pepijndevos has quit IRC22:33
*** tnt has quit IRC22:33
*** srk has quit IRC22:33
*** cr1901_modern has quit IRC22:33
*** alexhw has quit IRC22:33
*** Max-P has quit IRC22:33
*** bluesceada has quit IRC22:33
*** tmiw has joined #yosys22:36
*** anticw has joined #yosys22:36
*** esden has joined #yosys22:36
*** ross_s has joined #yosys22:36
*** tmbinc has joined #yosys22:36
*** Marex has joined #yosys22:36
*** cr1901_modern has joined #yosys22:36
*** alexhw has joined #yosys22:36
*** Max-P has joined #yosys22:36
*** bluesceada has joined #yosys22:36
*** FL4SHK has joined #yosys22:37
*** jfcaron has joined #yosys22:37
*** somlo has joined #yosys22:37
*** bubble_buster has joined #yosys22:37
*** gtw has joined #yosys22:37
*** thoughtpolice has joined #yosys22:37
*** daveshah has joined #yosys22:37
*** anuejn has joined #yosys22:37
*** smarter has joined #yosys22:37
*** emily has joined #yosys22:37
*** pointfree has joined #yosys22:37
*** TD-Linux has joined #yosys22:37
*** Stary has joined #yosys22:37
*** phantomcircuit has joined #yosys22:37
*** daknig has joined #yosys22:37
*** emeb_mac has joined #yosys22:37
*** Thorn has joined #yosys22:37
*** oldtopman has joined #yosys22:37
*** Ristovski has joined #yosys22:37
*** elms has joined #yosys22:37
*** tannewt has joined #yosys22:37
*** rektide has joined #yosys22:37
*** elGamal has joined #yosys22:37
*** lukego has joined #yosys22:37
*** rohitksingh has joined #yosys22:37
*** rjeli has joined #yosys22:37
*** emilazy has joined #yosys22:37
*** Sarayan has joined #yosys22:37
*** unkraut has joined #yosys22:37
*** flammit has joined #yosys22:37
*** litghost has joined #yosys22:37
*** svenn has joined #yosys22:37
*** lambda has joined #yosys22:37
*** whitequark has joined #yosys22:37
*** kristianpaul has joined #yosys22:37
*** heijligen has joined #yosys22:37
*** gruetzkopf has joined #yosys22:37
*** Asu has joined #yosys22:37
*** carlomaragno has joined #yosys22:37
*** cyrozap has joined #yosys22:37
*** emily has quit IRC22:37
*** N2TOH has joined #yosys22:37
*** captain_morgan has joined #yosys22:37
*** smkz has joined #yosys22:37
*** rrika has joined #yosys22:37
*** rjeli has quit IRC22:37
*** Twix has joined #yosys22:37
*** simeonm has joined #yosys22:37
*** ebb has joined #yosys22:37
*** chipb has joined #yosys22:37
*** proteusguy has joined #yosys22:37
*** lethalbit has joined #yosys22:37
*** mmicko has joined #yosys22:37
*** kbeckmann has joined #yosys22:37
*** phire has joined #yosys22:37
*** indy has joined #yosys22:38
*** adjtm_ has joined #yosys22:38
*** pie_ has joined #yosys22:38
*** agg has joined #yosys22:38
*** madushan1000 has joined #yosys22:38
*** emeb has joined #yosys22:38
*** bzztploink has joined #yosys22:38
*** kgugala has joined #yosys22:38
*** nengel has joined #yosys22:38
*** josi has joined #yosys22:38
*** mwk has joined #yosys22:38
*** miek has joined #yosys22:38
*** Xark has joined #yosys22:38
*** MoeIcenowy has joined #yosys22:38
*** Nazara has joined #yosys22:38
*** mirage335 has joined #yosys22:38
*** ktemkin has joined #yosys22:38
*** awygle has joined #yosys22:38
*** kmehall_ has joined #yosys22:38
*** flokli has joined #yosys22:38
*** dkozel has joined #yosys22:38
*** Lofty has joined #yosys22:38
*** thardin has joined #yosys22:38
*** qu1j0t3 has joined #yosys22:38
*** sensille has joined #yosys22:38
*** Kamilion has joined #yosys22:38
*** Ekho has joined #yosys22:38
*** daddesio has joined #yosys22:38
*** ronyrus has joined #yosys22:38
*** az0re has joined #yosys22:38
*** FFY00 has joined #yosys22:39
*** rqou has joined #yosys22:39
*** _whitelogger has joined #yosys22:39
*** benreynwar has joined #yosys22:39
*** sorear has joined #yosys22:39
*** GenTooMan has joined #yosys22:39
*** forrestv has joined #yosys22:39
*** tux3 has joined #yosys22:39
*** awordnot has joined #yosys22:39
*** orkim has joined #yosys22:39
*** Ultrasauce has joined #yosys22:39
*** bwidawsk has joined #yosys22:39
*** Wolf480pl has joined #yosys22:39
*** _whitelogger has quit IRC22:39
*** madushan1000 has quit IRC22:40
*** lukego has quit IRC22:40
*** rjeli has joined #yosys22:41
*** jhol has joined #yosys22:41
*** filt3r has joined #yosys22:41
*** X-Scale has joined #yosys22:42
*** Degi has joined #yosys22:42
*** Forty-Bot has joined #yosys22:42
*** tlwoerner has joined #yosys22:42
*** pacak has joined #yosys22:42
*** dxld has joined #yosys22:42
*** ovf has joined #yosys22:42
*** y2kbugger has joined #yosys22:42
*** anishathalye has joined #yosys22:42
*** pepijndevos has joined #yosys22:42
*** srk has joined #yosys22:42
*** ovf has quit IRC22:42
*** ZipCPU has joined #yosys22:43
*** lukego has joined #yosys22:43
*** maartenBE has joined #yosys22:43
*** tnt has joined #yosys22:44
*** _whitelogger has joined #yosys22:44
*** daknig has quit IRC22:45
*** emily has joined #yosys22:46
*** jfcaron has quit IRC22:47
*** maartenBE has quit IRC22:51
*** ovf has joined #yosys22:52
*** maartenBE has joined #yosys22:53
*** jryans has joined #yosys22:55
*** promach3 has joined #yosys22:56
*** daknig has joined #yosys22:58
*** fevv8[m] has joined #yosys23:01
*** madushan1000 has joined #yosys23:02
*** Asu has quit IRC23:07
*** emeb has quit IRC23:38

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!