| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** greeb <[email protected]> has joined #yosys | 00:38 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 02:08 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys | 03:21 | |
| *** emeb_mac <[email protected]> has joined #yosys | 03:22 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Remote host closed the connection) | 04:02 | |
| *** gmc_ <[email protected]> has joined #yosys | 06:25 | |
| *** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.) | 06:31 | |
| *** FabM <[email protected]> has joined #yosys | 06:44 | |
| *** nelgau_ <[email protected]> has joined #yosys | 06:50 | |
| *** nelgau <[email protected]> has quit IRC (Ping timeout: 256 seconds) | 06:52 | |
| *** vup <[email protected]> has quit IRC (Remote host closed the connection) | 08:26 | |
| *** vup <[email protected]> has joined #yosys | 08:27 | |
| *** gruetzkopf <gruetzkopf!~quassel@wireguard/tunneler/gruetzkopf> has quit IRC (Quit: No Ping reply in 180 seconds.) | 08:27 | |
| *** kbeckmann <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 08:27 | |
| *** gmc_ <[email protected]> has quit IRC (Remote host closed the connection) | 08:29 | |
| *** gruetzkopf <gruetzkopf!~quassel@wireguard/tunneler/gruetzkopf> has joined #yosys | 08:29 | |
| *** kbeckmann <[email protected]> has joined #yosys | 08:30 | |
| *** lexano <[email protected]> has quit IRC (Ping timeout: 246 seconds) | 09:01 | |
| *** lexano <[email protected]> has joined #yosys | 09:14 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 11:23 | |
| *** piegames[m] <piegames[m]!~piegamesm@2001:470:69fc:105::15df> has joined #yosys | 13:47 | |
| piegames[m] | I need to do some optimization of large truth tables with multiple outputs. Is Yosys a good tool for that? | 13:49 |
|---|---|---|
| piegames[m] | I tried using Espresso but as far as I can tell I'd have to manually do some factorization of common terms afterwards, plus I'm not sure if the optimization is global when there are multiple outputs. | 13:50 |
| tnt | Heh, funny I went the other way around. I ended up using espresso to get basic logic equations from truth tables and feed that to yosys because yosys alone produced not-so-great results. | 13:54 |
| tnt | it might depend what your tables look like though. Mine were mostly "don't care" which is where I think espresso did a much better job at not caring than yosys. | 13:55 |
| piegames[m] | Test test (I think the Matrix bridge is down) | 14:11 |
| piegames[m] | I tried using Espresso but as far as I can tell I'd have to manually do some factorization of common terms afterwards, plus I'm not sure if the optimization is global when there are multiple outputs. | 14:11 |
| tnt | Ah well I guess I'm screaming into the void then. | 14:14 |
| *** piegames <piegames!piegames@2001:41b8:83f:4242::c60d> has joined #yosys | 14:15 | |
| piegames | tnt: I'm back (good thing there are public channel logs ^^) | 14:16 |
| tnt | lol | 14:17 |
| xiretza[m] | tnt: everything went through fine from my POV | 14:17 |
| piegames | I want to use it to compress some small ROM, so no don't cares (except maybe for unused addresses) but plenty of redundancy to optimize out | 14:34 |
| piegames | From reading the help page the `opt` command is probably not strong enough to do that | 14:34 |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Quit: Leaving) | 14:50 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 240 seconds) | 15:02 | |
| *** gmc_ <[email protected]> has joined #yosys | 15:31 | |
| jix | piegames: playing around with abc's various optimization passes is among the things I'd try | 15:58 |
| *** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has joined #yosys | 16:12 | |
| *** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has quit IRC (Quit: Klotz) | 17:05 | |
| *** emeb <[email protected]> has joined #yosys | 17:31 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds) | 18:24 | |
| *** nelgau_ <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 18:46 | |
| *** nelgau <[email protected]> has joined #yosys | 18:57 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 20:27 | |
| *** emeb_mac <[email protected]> has joined #yosys | 20:55 | |
| *** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has quit IRC (Remote host closed the connection) | 22:28 | |
| *** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has joined #yosys | 22:28 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Quit: ec) | 23:43 | |
| *** emeb <[email protected]> has quit IRC (Quit: Leaving.) | 23:59 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!