| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** lexano <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 00:30 | |
| *** ppisati <[email protected]> has quit IRC (Ping timeout: 264 seconds) | 01:52 | |
| *** ppisati <[email protected]> has joined #yosys | 01:54 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 260 seconds) | 02:26 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 02:29 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Remote host closed the connection) | 02:30 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 02:30 | |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Remote host closed the connection) | 04:17 | |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has joined #yosys | 04:17 | |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Remote host closed the connection) | 04:23 | |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has joined #yosys | 04:23 | |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Ping timeout: 268 seconds) | 04:32 | |
| *** bjorkint0sh <bjorkint0sh!~bjork@2600:1700:5400:c80:8a06:1928:2096:b0b7> has joined #yosys | 04:32 | |
| *** bjorkint0sh <bjorkint0sh!~bjork@2600:1700:5400:c80:8a06:1928:2096:b0b7> has quit IRC (Remote host closed the connection) | 04:32 | |
| *** bjorkint0sh <bjorkint0sh!~bjork@2600:1700:5400:c80:8a06:1928:2096:b0b7> has joined #yosys | 04:33 | |
| *** daim is now known as Guest2849 | 08:05 | |
| *** Guest2849 <[email protected]> has quit IRC (Killed (calcium.libera.chat (Nickname regained by services))) | 08:05 | |
| *** twix <[email protected]> has joined #yosys | 08:05 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has joined #yosys | 08:17 | |
| *** lilibox <[email protected]> has quit IRC (Remote host closed the connection) | 09:09 | |
| *** Guest17 <Guest17!~Guest91@2600:8803:b107:6e00:5830:1a05:b06:83c2> has joined #yosys | 09:13 | |
| *** lilibox <[email protected]> has joined #yosys | 09:15 | |
| *** Guest17 <Guest17!~Guest91@2600:8803:b107:6e00:5830:1a05:b06:83c2> has left #yosys | 09:24 | |
| *** lexano <[email protected]> has joined #yosys | 11:40 | |
| *** dkc <dkc!~dan@user/dkc> has quit IRC (Quit: ZNC 1.8.2 - https://znc.in) | 12:50 | |
| *** dkc <dkc!~dan@user/dkc> has joined #yosys | 12:52 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 252 seconds) | 16:05 | |
| *** cr1901_ is now known as cr1901 | 16:25 | |
| philtor | whitequark[cis]: weren't you making an alternative to abc? | 16:58 |
|---|---|---|
| philtor | (was trying to search around for it, but forgot the name) | 16:59 |
| Wanda[cis] | philtor: the name is `flowmap` yosys pass, but it's... very PoC quality and doesn't quite work | 17:04 |
| *** Adrien[m] <Adrien[m]!adrienpbma@2a01:4f8:c012:5b7:0:1:0:7e> has joined #yosys | 17:05 | |
| Adrien[m] | What about toymap ? https://github.com/povik/toymap/ | 17:05 |
| lofty | well, you do have to keep in mind the "no explicit license assigned at this point" bit | 17:18 |
| lofty | but it probably scales better than flowmap ever could | 17:18 |
| lofty | Adrien[m]: toymap uses the same mapping algorithm that ABC uses, but lacks a lot of the optimisations and mapping tricks that ABC has | 17:22 |
| Adrien[m] | I wonder if using toymap instead of ABC can bring any saving on overall synth time and RAM usage, maybe even reduce binary size if we can hack-remove abc entirely ? | 17:35 |
| Adrien[m] | (testing that will probably stay drowned in my todo list, unless I can have an intern experiment it for embedded purpose...) | 17:35 |
| lofty | Adrien[m]: there are ways to reduce synthesis time even with ABC; but you trade off quite a lot of Fmax to do so, IME | 18:41 |
| lofty | and ABC is arguably too well-optimised; there's not a lot of ways you can make it more efficient | 18:42 |
| *** fougus <[email protected]> has joined #yosys | 21:12 | |
| *** fougus <[email protected]> has left #yosys (Leaving) | 21:12 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 23:27 | |
| *** nonchip <[email protected]> has joined #yosys | 23:27 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!