*** tpb <tpb!~supybot@underwood.mithis.com> has joined #yosys | 00:00 | |
corecode | i think there is an optimization missing that will merge the arithmetic and mux? | 00:16 |
---|---|---|
corecode | it's odd tho | 00:16 |
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 250 seconds) | 00:16 | |
corecode | does it work with a generic synthesis? | 00:17 |
corecode | ah no, that's not it | 00:19 |
corecode | uh this is a tricky clever problem | 00: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 #yosys | 00: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 #yosys | 00:34 | |
*** emeb_mac <emeb_mac!~ericb@ip174-73-151-51.ph.ph.cox.net> has joined #yosys | 00: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 #yosys | 01:21 | |
*** lansiir <lansiir!~oldtopman@c-71-205-4-123.hsd1.co.comcast.net> has joined #yosys | 01: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 #yosys | 05:45 | |
*** peeps[zen] <peeps[zen]!~peepsalot@openscad/peepsalot> has joined #yosys | 06: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 #yosys | 06: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 #yosys | 06: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 #yosys | 07: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 #yosys | 07:11 | |
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 07:18 | |
*** vidbina <vidbina!~vid@x4db7e76e.dyn.telefonica.de> has joined #yosys | 07: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 #yosys | 07:37 | |
*** mwk <mwk!~mwk@yosys/mwk> has quit IRC (Ping timeout: 252 seconds) | 07:46 | |
*** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has joined #yosys | 07:48 | |
*** mwk <mwk!~mwk@yosys/mwk> has joined #yosys | 08: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 #yosys | 09:28 | |
*** scientes <scientes!~scientes@git.icu> has quit IRC (Ping timeout: 252 seconds) | 09:42 | |
*** scientes <scientes!~scientes@git.icu> has joined #yosys | 09:43 | |
*** vidbina <vidbina!~vid@x4db7e76e.dyn.telefonica.de> has joined #yosys | 12:47 | |
piegames | Formal 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 |
piegames | Because I want to cover different operations, but I also want that any of these operations can work with pipeline backpressurce & other corner cases | 12:57 |
mwk | not that I know of; best you can do is to use generate-for to make writing all the combinations less tedious I guess | 13:10 |
*** emeb_mac <emeb_mac!~ericb@ip174-73-151-51.ph.ph.cox.net> has joined #yosys | 13: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 #yosys | 13:28 | |
*** vup <vup!~~~~@46.101.193.235> has joined #yosys | 13:28 | |
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 13:28 | |
*** indy <indy!~indy@dsl-static-104.213-160-167.telecom.sk> has joined #yosys | 13:28 | |
*** lkcl <lkcl!lkcl@we.will.rock.you.bnc4you.xyz> has joined #yosys | 13:28 | |
*** mithro <mithro!sid24875@charlton.irccloud.com> has joined #yosys | 13:28 | |
*** sm2n <sm2n!~sm2n@user/sm2n> has joined #yosys | 13:28 | |
*** dys <dys!~dys@user/dys> has joined #yosys | 13:28 | |
*** anticw_ <anticw_!~anticw@157-131-246-230.fiber.dynamic.sonic.net> has joined #yosys | 13:28 | |
*** killjoy <killjoy!~nameless@user/killjoy> has joined #yosys | 13:28 | |
*** vidbina <vidbina!~vid@x4db7e76e.dyn.telefonica.de> has quit IRC (Ping timeout: 252 seconds) | 13:42 | |
*** TD--Linux is now known as TD-Linux | 13: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 #yosys | 14: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 #yosys | 14: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 #yosys | 14: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 #yosys | 16: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 #yosys | 16:41 | |
*** FabM <FabM!~FabM@2a03:d604:103:600:c424:ddbb:9047:4049> has joined #yosys | 18: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 #yosys | 18:43 | |
*** vidbina <vidbina!~vid@x4db7e76e.dyn.telefonica.de> has joined #yosys | 18: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 #yosys | 19: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 #yosys | 19: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 #yosys | 20:38 | |
*** freemint <freemint!~freemint@l129.fem.tu-ilmenau.de> has joined #yosys | 20:59 | |
*** philtom is now known as philtor | 21: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 #yosys | 21: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 #yosys | 22:29 | |
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 22:46 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!