| *** tpb <[email protected]> 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 <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 00:21 | |
| *** emeb_mac <[email protected]> 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 <[email protected]> has joined #yosys | 00:46 | |
| *** emeb_mac <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 01:05 | |
| *** emeb_mac <[email protected]> has joined #yosys | 01:21 | |
| *** lansiir <[email protected]> has joined #yosys | 01:46 | |
| *** oldtopman <[email protected]> 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 <[email protected]> has quit IRC (Quit: Leaving.) | 06:38 | |
| *** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has joined #yosys | 06:39 | |
| *** tmiw <[email protected]> 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 <[email protected]> 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 <[email protected]> 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 <[email protected]> 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 <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 09:42 | |
| *** scientes <[email protected]> has joined #yosys | 09:43 | |
| *** vidbina <[email protected]> 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 <[email protected]> has joined #yosys | 13:14 | |
| *** eater <[email protected]> has quit IRC (*.net *.split) | 13:24 | |
| *** vup <[email protected]> has quit IRC (*.net *.split) | 13:24 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (*.net *.split) | 13:24 | |
| *** indy <[email protected]> has quit IRC (*.net *.split) | 13:24 | |
| *** lkcl <[email protected]> has quit IRC (*.net *.split) | 13:24 | |
| *** mithro <[email protected]> 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_ <[email protected]> has quit IRC (*.net *.split) | 13:24 | |
| *** killjoy <killjoy!~nameless@user/killjoy> has quit IRC (*.net *.split) | 13:24 | |
| *** eater <[email protected]> has joined #yosys | 13:28 | |
| *** vup <[email protected]> has joined #yosys | 13:28 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 13:28 | |
| *** indy <[email protected]> has joined #yosys | 13:28 | |
| *** lkcl <[email protected]> has joined #yosys | 13:28 | |
| *** mithro <[email protected]> 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_ <[email protected]> has joined #yosys | 13:28 | |
| *** killjoy <killjoy!~nameless@user/killjoy> has joined #yosys | 13:28 | |
| *** vidbina <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 13:42 | |
| *** TD--Linux is now known as TD-Linux | 13:43 | |
| *** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.) | 13:49 | |
| *** msh_ <[email protected]> has joined #yosys | 14:07 | |
| *** msh <[email protected]> has quit IRC (Read error: Connection reset by peer) | 14:07 | |
| *** vidbina <[email protected]> has joined #yosys | 14:11 | |
| *** vidbina <[email protected]> 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 <[email protected]> has joined #yosys | 16:22 | |
| *** lansiir <[email protected]> has quit IRC (Read error: Connection reset by peer) | 16:41 | |
| *** oldtopman <[email protected]> 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 <[email protected]> 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 <[email protected]> has joined #yosys | 19:42 | |
| *** GenTooMan <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 20:10 | |
| *** gatecat <[email protected]> has quit IRC () | 20:37 | |
| *** gatecat <[email protected]> has joined #yosys | 20:38 | |
| *** freemint <[email protected]> has joined #yosys | 20:59 | |
| *** philtom is now known as philtor | 21:13 | |
| *** freemint <[email protected]> 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 <[email protected]> has quit IRC (Ping timeout: 250 seconds) | 21:33 | |
| *** emeb_mac <[email protected]> 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/!