ChanServ changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.catirclogs.org/yosys/ | Bridged to #yosys:matrix.org
tpb has quit [Remote host closed the connection]
glguy has joined #yosys
tpb has joined #yosys
knielsen has quit [Ping timeout: 272 seconds]
knielsen has joined #yosys
Adrien[m] has joined #yosys
<Adrien[m]> Hi ! I've recently proposed a contribution to optimize mux mapping for xilinx 7-series techno : https://github.com/YosysHQ/yosys/pull/5202
<Adrien[m]> I would like to enable equivalence check for all testcases, but I would need to specify the range of values of interest for the mux selection input. Can anyone advise how to do that ?
anticw has quit [Remote host closed the connection]
anticw has joined #yosys
kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined #yosys
zero-xray1 has joined #yosys
zero-xray has quit [Ping timeout: 260 seconds]
zero-xray1 is now known as zero-xray
latchflip has quit [Quit: WeeChat 4.4.3]
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys
<Hammdist> techmap not working as expected https://paste.ee/p/hxAGbIor can anyone give any pointers? a lut of width 1 that appears to be performing a NOT function is not being replaced
<tpb> Title: Paste.ee - View paste hxAGbIor (at paste.ee)
<Hammdist> assign _0108_ = 2'h1 >> _0134_[0]; <--- this is what it looks like in write_verilog