Tuesday, 2021-08-24

*** tpb <tpb!~supybot@underwood.mithis.com> has joined #yosys00:00
corecodei think there is an optimization missing that will merge the arithmetic and mux?00:16
corecodeit's odd tho00:16
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 250 seconds)00:16
corecodedoes it work with a generic synthesis?00:17
corecodeah no, that's not it00:19
corecodeuh this is a tricky clever problem00:19
*** gsmecher <gsmecher!~gsmecher@104.246.196.44> has quit IRC (Ping timeout: 240 seconds)00:21
*** emeb_mac <emeb_mac!~ericb@ip174-73-151-51.ph.ph.cox.net> has quit IRC (Ping timeout: 240 seconds)00:29
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys00:30
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Excess Flood)00:34
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys00:34
*** emeb_mac <emeb_mac!~ericb@ip174-73-151-51.ph.ph.cox.net> has joined #yosys00:46
*** emeb_mac <emeb_mac!~ericb@ip174-73-151-51.ph.ph.cox.net> has quit IRC (Ping timeout: 252 seconds)01:05
*** emeb_mac <emeb_mac!~ericb@ip174-73-151-51.ph.ph.cox.net> has joined #yosys01:21
*** lansiir <lansiir!~oldtopman@c-71-205-4-123.hsd1.co.comcast.net> has joined #yosys01:46
*** oldtopman <oldtopman!~oldtopman@c-71-205-4-123.hsd1.co.comcast.net> has quit IRC (Read error: Connection reset by peer)01:46
*** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has quit IRC (Read error: Connection reset by peer)05:44
*** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has joined #yosys05:45
*** peeps[zen] <peeps[zen]!~peepsalot@openscad/peepsalot> has joined #yosys06:08
*** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has quit IRC (Ping timeout: 250 seconds)06:10
*** FabM <FabM!~FabM@2a03:d604:103:600:2756:a160:a592:9d16> has joined #yosys06:16
*** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has quit IRC (Quit: ZNC - http://znc.in)06:37
*** peeps[zen] <peeps[zen]!~peepsalot@openscad/peepsalot> has quit IRC (Read error: Connection reset by peer)06:37
*** emeb_mac <emeb_mac!~ericb@ip174-73-151-51.ph.ph.cox.net> has quit IRC (Quit: Leaving.)06:38
*** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has joined #yosys06:39
*** tmiw <tmiw!mooneer@voldemort.lifeafterking.org> has quit IRC (Ping timeout: 258 seconds)07:04
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 250 seconds)07:05
*** tmiw <tmiw!mooneer@voldemort.lifeafterking.org> has joined #yosys07:05
*** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has quit IRC (Quit: ZNC - http://znc.in)07:07
*** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has joined #yosys07:11
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys07:18
*** vidbina <vidbina!~vid@x4db7e76e.dyn.telefonica.de> has joined #yosys07:24
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 250 seconds)07:25
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys07:37
*** mwk <mwk!~mwk@yosys/mwk> has quit IRC (Ping timeout: 252 seconds)07:46
*** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has joined #yosys07:48
*** mwk <mwk!~mwk@yosys/mwk> has joined #yosys08:20
*** vidbina <vidbina!~vid@x4db7e76e.dyn.telefonica.de> has quit IRC (Ping timeout: 240 seconds)08:35
*** mwk <mwk!~mwk@yosys/mwk> has quit IRC (Ping timeout: 240 seconds)08:46
*** mwk <mwk!~mwk@yosys/mwk> has joined #yosys09:28
*** scientes <scientes!~scientes@git.icu> has quit IRC (Ping timeout: 252 seconds)09:42
*** scientes <scientes!~scientes@git.icu> has joined #yosys09:43
*** vidbina <vidbina!~vid@x4db7e76e.dyn.telefonica.de> has joined #yosys12:47
piegamesFormal question here: I know that the solver will try to reach every `cover` statement one at a time, independently. Is there a way to make this a "search for all combinations"?12:56
piegamesBecause I want to cover different operations, but I also want that any of these operations can work with pipeline backpressurce & other corner cases12:57
mwknot that I know of; best you can do is to use generate-for to make writing all the combinations less tedious I guess13:10
*** emeb_mac <emeb_mac!~ericb@ip174-73-151-51.ph.ph.cox.net> has joined #yosys13:14
*** eater <eater!~eater@monika.eoc.io> has quit IRC (*.net *.split)13:24
*** vup <vup!~~~~@46.101.193.235> has quit IRC (*.net *.split)13:24
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (*.net *.split)13:24
*** indy <indy!~indy@dsl-static-104.213-160-167.telecom.sk> has quit IRC (*.net *.split)13:24
*** lkcl <lkcl!lkcl@we.will.rock.you.bnc4you.xyz> has quit IRC (*.net *.split)13:24
*** mithro <mithro!sid24875@charlton.irccloud.com> has quit IRC (*.net *.split)13:24
*** sm2n <sm2n!~sm2n@user/sm2n> has quit IRC (*.net *.split)13:24
*** dys <dys!~dys@user/dys> has quit IRC (*.net *.split)13:24
*** anticw_ <anticw_!~anticw@157-131-246-230.fiber.dynamic.sonic.net> has quit IRC (*.net *.split)13:24
*** killjoy <killjoy!~nameless@user/killjoy> has quit IRC (*.net *.split)13:24
*** eater <eater!~eater@monika.eoc.io> has joined #yosys13:28
*** vup <vup!~~~~@46.101.193.235> has joined #yosys13:28
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys13:28
*** indy <indy!~indy@dsl-static-104.213-160-167.telecom.sk> has joined #yosys13:28
*** lkcl <lkcl!lkcl@we.will.rock.you.bnc4you.xyz> has joined #yosys13:28
*** mithro <mithro!sid24875@charlton.irccloud.com> has joined #yosys13:28
*** sm2n <sm2n!~sm2n@user/sm2n> has joined #yosys13:28
*** dys <dys!~dys@user/dys> has joined #yosys13:28
*** anticw_ <anticw_!~anticw@157-131-246-230.fiber.dynamic.sonic.net> has joined #yosys13:28
*** killjoy <killjoy!~nameless@user/killjoy> has joined #yosys13:28
*** vidbina <vidbina!~vid@x4db7e76e.dyn.telefonica.de> has quit IRC (Ping timeout: 252 seconds)13:42
*** TD--Linux is now known as TD-Linux13:43
*** emeb_mac <emeb_mac!~ericb@ip174-73-151-51.ph.ph.cox.net> has quit IRC (Quit: Leaving.)13:49
*** msh_ <msh_!~matt@130.95.13.111> has joined #yosys14:07
*** msh <msh!~matt@130.95.13.111> has quit IRC (Read error: Connection reset by peer)14:07
*** vidbina <vidbina!~vid@dynamic-046-114-034-070.46.114.pool.telefonica.de> has joined #yosys14:11
*** vidbina <vidbina!~vid@dynamic-046-114-034-070.46.114.pool.telefonica.de> has quit IRC (Ping timeout: 240 seconds)14:17
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 250 seconds)14:18
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys14:32
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 240 seconds)16:12
*** gsmecher <gsmecher!~gsmecher@104.246.196.44> has joined #yosys16:22
*** lansiir <lansiir!~oldtopman@c-71-205-4-123.hsd1.co.comcast.net> has quit IRC (Read error: Connection reset by peer)16:41
*** oldtopman <oldtopman!~oldtopman@c-71-205-4-123.hsd1.co.comcast.net> has joined #yosys16:41
*** FabM <FabM!~FabM@2a03:d604:103:600:c424:ddbb:9047:4049> has joined #yosys18:31
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 250 seconds)18:39
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys18:43
*** vidbina <vidbina!~vid@x4db7e76e.dyn.telefonica.de> has joined #yosys18:45
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Remote host closed the connection)19:06
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 250 seconds)19:20
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys19:23
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 250 seconds)19:28
*** GenTooMan <GenTooMan!~cyberman@c-73-214-106-63.hsd1.pa.comcast.net> has joined #yosys19:42
*** GenTooMan <GenTooMan!~cyberman@c-73-214-106-63.hsd1.pa.comcast.net> has quit IRC (Ping timeout: 240 seconds)20:10
*** gatecat <gatecat!sid281702@id-281702.brockwell.irccloud.com> has quit IRC ()20:37
*** gatecat <gatecat!sid281702@id-281702.helmsley.irccloud.com> has joined #yosys20:38
*** freemint <freemint!~freemint@l129.fem.tu-ilmenau.de> has joined #yosys20:59
*** philtom is now known as philtor21:13
*** freemint <freemint!~freemint@l129.fem.tu-ilmenau.de> has quit IRC (Ping timeout: 252 seconds)21:20
*** freemint <freemint!~freemint@2001:638:904:ffe8:2abf:c8f8:8aa3:41d7> has joined #yosys21:21
*** vidbina <vidbina!~vid@x4db7e76e.dyn.telefonica.de> has quit IRC (Ping timeout: 250 seconds)21:33
*** emeb_mac <emeb_mac!~ericb@ip174-73-151-51.ph.ph.cox.net> has joined #yosys22:29
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys22:46

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