<lofty>
tnt: `abc -liberty` will do the tech mapping for you, although yes, it doesn't do multiple output cells
<tnt>
Mmm, but why does sky130 have separate max files for mux2/mux4 latches .... if it's all automatic from .lib then ?
<tnt>
s/max/map/
<lofty>
tnt: ABC *can* infer muxes, but a lot of how it works amounts to shaking up the design like a snowglobe, and that information can get lost. it's not always obvious if muxes are better directly mapped or left to ABC though
lexano has quit [Ping timeout: 252 seconds]
kristianpaul has joined #yosys
krispaul has quit [Ping timeout: 246 seconds]
lexano has joined #yosys
strobo5 has quit [Ping timeout: 248 seconds]
strobo5 has joined #yosys
marex_ is now known as marex
joller134 has quit [Ping timeout: 255 seconds]
emeb_mac has joined #yosys
mewt has quit [Read error: Connection reset by peer]
mewt has joined #yosys
Psentee has quit [Quit: Off]
Psentee has joined #yosys
Psentee has quit [Client Quit]
Psentee has joined #yosys
smkz has quit [Quit: smkz]
smkz has joined #yosys
bpye has quit [Ping timeout: 252 seconds]
bpye has joined #yosys
smkz has quit [Quit: smkz]
smkz has joined #yosys
smkz has quit [Client Quit]
smkz has joined #yosys
strobo5 has quit [Read error: Connection reset by peer]
strobo5 has joined #yosys
ats has quit [Quit: new kernel time]
ats has joined #yosys
cr1901 has quit [Read error: Connection reset by peer]