| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** lexano <[email protected]> has quit IRC (Remote host closed the connection) | 00:54 | |
| *** lexano <[email protected]> has joined #yosys | 01:06 | |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Ping timeout: 276 seconds) | 02:14 | |
| *** madprops <madprops!~hj8oijo@user/madprops> has joined #yosys | 02:51 | |
| *** bpye <bpye!~bpye@user/bpye> has quit IRC (Ping timeout: 252 seconds) | 05:47 | |
| *** bpye <bpye!~bpye@user/bpye> has joined #yosys | 05:56 | |
| *** FabM <FabM!~FabM@2a03:d604:108:3f00:493f:31b2:3ae:4ec5> has joined #yosys | 06:07 | |
| *** krispaul <[email protected]> has joined #yosys | 08:04 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 265 seconds) | 08:05 | |
| *** Lucretia <Lucretia!~Luke@user/lucretia> has quit IRC (Quit: Konversation terminated!) | 09:10 | |
| *** vup <[email protected]> has quit IRC (Quit: vup) | 10:00 | |
| *** anuejn <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 10:00 | |
| *** vup <[email protected]> has joined #yosys | 10:41 | |
| *** vup <[email protected]> has quit IRC (Remote host closed the connection) | 10:42 | |
| *** vup <[email protected]> has joined #yosys | 10:42 | |
| *** anuejn <[email protected]> has joined #yosys | 10:42 | |
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:226:5566:465e:6932:1301> has joined #yosys | 11:28 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:226:6712:3a8e:7f64:543a> has quit IRC (Ping timeout: 276 seconds) | 11:32 | |
| *** bjorkintosh <bjorkintosh!~bjork@2600:1700:5400:c80:d3f8:f573:8099:4bd2> has joined #yosys | 12:33 | |
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:226:5566:465e:6932:1301> has quit IRC (Read error: Connection reset by peer) | 12:56 | |
| *** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has quit IRC (Quit: ZNC - http://znc.in) | 12:57 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:226:5566:465e:6932:1301> has joined #yosys | 12:57 | |
| *** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has joined #yosys | 13:01 | |
| *** juri_ <[email protected]> has quit IRC (Ping timeout: 265 seconds) | 13:10 | |
| *** juri_ <[email protected]> has joined #yosys | 13:22 | |
| *** juri_ <[email protected]> has quit IRC (Read error: Connection reset by peer) | 13:22 | |
| *** unkraut <[email protected]> has quit IRC (Read error: Connection reset by peer) | 13:38 | |
| *** krispaul <[email protected]> has quit IRC (Quit: WeeChat 3.5) | 13:39 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 13:40 | |
| *** remexre <remexre!~remexre@user/remexre> has joined #yosys | 13:40 | |
| *** unkraut <[email protected]> has joined #yosys | 13:43 | |
| *** juri_ <[email protected]> has joined #yosys | 14:08 | |
| *** anticw <[email protected]> has quit IRC (Quit: leaving) | 14:30 | |
| *** anticw <[email protected]> has joined #yosys | 14:30 | |
| tnt | Quick question. For context, I'm working on techn mapping for iHP PDK. Can yosys produce $_DLATCH_N_ even if there is no techmap for it ? I thought it would only use what was defined ? | 16:54 |
|---|---|---|
| lofty | tnt: do you mean as input to dfflibmap? | 16:56 |
| lofty | Like, sure, Yosys can produce them - even though they're extremely rare in practice - but it can't currently map latches to liberty cells | 16:57 |
| tnt | Mmm, ok, I was under the misatek impression thatif you have a map for _DLATCH_NN0_ but not for _DLATCH_N_ , then yosys would use the former by iteself to implement the latter. | 17:02 |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 248 seconds) | 17:04 | |
| lofty | tnt: not entirely mistaken; you're probably thinking of the behaviour of the `dfflegalize` pass, which can implement simpler flops in terms of more complicated ones. | 17:05 |
| tnt | but I guess this doesn't work for latches ? | 17:06 |
| lofty | tnt: it does work for latches | 17:07 |
| tnt | Mmm ... well then I'm wondering why I was ending up with unmapped _DLATCH_N_ when I have a map for _DLATCH_NN0_ | 17:07 |
| lofty | Did you call dfflegalize? | 17:09 |
| tnt | No hits for dfflegalize in the synth script from ORFS. That might be it ? | 17:09 |
| lofty | Is there a call to dfflibmap? | 17:09 |
| tnt | yes | 17:10 |
| tnt | https://github.com/The-OpenROAD-Project/OpenROAD-flow-scripts/blob/master/flow/scripts/synth.tcl | 17:11 |
| lofty | dfflibmap calls dfflegalize behind the scenes, but only for the cells it inferred | 17:12 |
| *** emeb_mac <[email protected]> has joined #yosys | 20:35 | |
| *** SpaceCoaster <SpaceCoaster!~derek@user/spacecoaster> has quit IRC (Read error: Connection reset by peer) | 21:55 | |
| *** SpaceCoaster <SpaceCoaster!~derek@user/spacecoaster> has joined #yosys | 21:56 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:39 | |
| *** nonchip <[email protected]> has joined #yosys | 22:39 | |
| *** so-offish <so-offish!~so-offish@2610:148:610:2b11::1d> has joined #yosys | 22:44 | |
| so-offish | Is Yosys' creation of SMT2 files deterministic? | 23:27 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!