*** tpb has joined #yosys | 00:00 | |
*** emeb has quit IRC | 00:03 | |
*** Degi has quit IRC | 00:49 | |
*** Degi has joined #yosys | 00:50 | |
*** citypw has joined #yosys | 01:17 | |
*** emeb_mac has quit IRC | 01:18 | |
*** emeb_mac has joined #yosys | 01:20 | |
*** craigo has quit IRC | 03:18 | |
*** citypw has quit IRC | 03:22 | |
*** citypw has joined #yosys | 03:26 | |
*** citypw has quit IRC | 03:35 | |
*** craigo has joined #yosys | 04:20 | |
*** citypw has joined #yosys | 06:30 | |
*** emeb_mac has quit IRC | 06:41 | |
*** craigo has quit IRC | 06:41 | |
*** _whitelogger has quit IRC | 07:30 | |
*** _whitelogger has joined #yosys | 07:32 | |
*** Asu has joined #yosys | 07:48 | |
*** gmc has joined #yosys | 09:28 | |
*** citypw_ has joined #yosys | 09:45 | |
*** citypw has quit IRC | 09:48 | |
*** citypw_ has quit IRC | 09:56 | |
*** citypw_ has joined #yosys | 10:11 | |
*** citypw_ has quit IRC | 10:28 | |
*** citypw_ has joined #yosys | 10:28 | |
*** citypw_ has quit IRC | 10:44 | |
*** citypw_ has joined #yosys | 10:44 | |
*** citypw_ has quit IRC | 10:55 | |
*** craigo has joined #yosys | 10:58 | |
*** citypw_ has joined #yosys | 11:11 | |
*** lutsabound has joined #yosys | 12:26 | |
*** citypw_ has quit IRC | 13:12 | |
*** citypw_ has joined #yosys | 13:25 | |
*** citypw_ has quit IRC | 13:33 | |
*** citypw_ has joined #yosys | 13:49 | |
*** citypw_ has quit IRC | 13:55 | |
*** citypw_ has joined #yosys | 14:11 | |
*** citypw_ has quit IRC | 14:13 | |
*** emeb has joined #yosys | 14:17 | |
*** citypw has joined #yosys | 14:32 | |
*** citypw has quit IRC | 14:36 | |
*** citypw has joined #yosys | 14:36 | |
*** citypw has quit IRC | 14:59 | |
*** citypw has joined #yosys | 15:00 | |
*** X-Scale` has joined #yosys | 15:25 | |
*** X-Scale has quit IRC | 15:26 | |
*** X-Scale` is now known as X-Scale | 15:26 | |
*** citypw has quit IRC | 15:34 | |
*** lambda has quit IRC | 16:19 | |
*** lambda has joined #yosys | 16:24 | |
*** craigo has quit IRC | 16:24 | |
*** Asu has quit IRC | 18:01 | |
*** lutsabound has quit IRC | 18:02 | |
*** anu3jn has joined #yosys | 19:02 | |
*** craigo has joined #yosys | 19:13 | |
*** kristianpaul has quit IRC | 19:34 | |
*** kristianpaul has joined #yosys | 19:35 | |
*** emeb_mac has joined #yosys | 20:19 | |
*** craigo has quit IRC | 21:15 | |
*** craigo has joined #yosys | 21:21 | |
tnt | Is there a way to guide yosys/abc to use a given cell to synthesize adders ? the cell library has a full adder cell but it's not used for adders when just feeding the liberty file. | 21:31 |
---|---|---|
daveshah | nope, abc can't map multi output cells | 21:31 |
daveshah | you can use Yosys' extract_fa and techmap, but then you lose all of the abc optimisations, buffer sizing, timing, et | 21:32 |
daveshah | *etc | 21:32 |
daveshah | the cost of doing that is probably higher than the benefit of using an adder cell, Yosys should use a fairly good algorithm for adders anyway | 21:32 |
Lofty | daveshah: or techmap $alu (though with full adder cells it's a bit questionable) | 21:46 |
daveshah | Yeah, and it still has the same downsides | 21:49 |
daveshah | adder mapping is certainly a lot less important in asic than in fpga | 21:49 |
*** kbeckmann has joined #yosys | 22:56 | |
*** emeb has quit IRC | 23:19 | |
*** lf_ has quit IRC | 23:25 | |
*** lf has joined #yosys | 23:26 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!