whitequark changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/ | Bridged to #yosys:matrix.org
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
lexano has quit [Remote host closed the connection]
lexano has joined #yosys
bjorkintosh has quit [Ping timeout: 276 seconds]
madprops has joined #yosys
bpye has quit [Ping timeout: 252 seconds]
bpye has joined #yosys
FabM has joined #yosys
FabM has quit [Changing host]
FabM has joined #yosys
krispaul has joined #yosys
kristianpaul has quit [Ping timeout: 265 seconds]
Lucretia has quit [Quit: Konversation terminated!]
vup has quit [Quit: vup]
anuejn has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
vup has joined #yosys
vup has quit [Remote host closed the connection]
vup has joined #yosys
anuejn has joined #yosys
cr1901_ has joined #yosys
cr1901 has quit [Ping timeout: 276 seconds]
bjorkintosh has joined #yosys
cr1901_ has quit [Read error: Connection reset by peer]
Lord_Nightmare has quit [Quit: ZNC - http://znc.in]
cr1901 has joined #yosys
Lord_Nightmare has joined #yosys
juri_ has quit [Ping timeout: 265 seconds]
juri_ has joined #yosys
juri_ has quit [Read error: Connection reset by peer]
unkraut has quit [Read error: Connection reset by peer]
krispaul has quit [Quit: WeeChat 3.5]
kristianpaul has joined #yosys
remexre has joined #yosys
unkraut has joined #yosys
juri_ has joined #yosys
anticw has quit [Quit: leaving]
anticw has joined #yosys
<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 ?
<lofty> tnt: do you mean as input to dfflibmap?
<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
<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.
FabM has quit [Ping timeout: 248 seconds]
<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.
<tnt> but I guess this doesn't work for latches ?
<lofty> tnt: it does work for latches
<tnt> Mmm ... well then I'm wondering why I was ending up with unmapped _DLATCH_N_ when I have a map for _DLATCH_NN0_
<lofty> Did you call dfflegalize?
<tnt> No hits for dfflegalize in the synth script from ORFS. That might be it ?
<lofty> Is there a call to dfflibmap?
<tnt> yes
<lofty> dfflibmap calls dfflegalize behind the scenes, but only for the cells it inferred
emeb_mac has joined #yosys
SpaceCoaster has quit [Read error: Connection reset by peer]
SpaceCoaster has joined #yosys
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys
so-offish has joined #yosys
<so-offish> Is Yosys' creation of SMT2 files deterministic?