ChanServ changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
bpye has joined #yosys
<bpye> Hey - with the formal support in yosys is there a better way to verify that a value cannot overflow than extending the result by a bit and adding an assert? This gets a little more complicated for signed but I guess still possible
furan has quit [Ping timeout: 272 seconds]
stroboko1p has joined #yosys
strobokopp has quit [Ping timeout: 244 seconds]
Ekho- is now known as Ekho
<ZipCPU> bpye: That sounds like a good approach. I know I did something similar to make sure addresses wouldn't wrap in one of my AXI DMA proofs.
FabM has joined #yosys
adamhorden has quit [Ping timeout: 272 seconds]
adamhorden has joined #yosys
lkcl_ has quit [Ping timeout: 272 seconds]
GenTooMan has quit [Ping timeout: 268 seconds]
GenTooMan has joined #yosys
srk has quit [Quit: ZNC 1.8.1 - https://znc.in]
srk has joined #yosys
promach[m] has quit [Ping timeout: 244 seconds]
jophish has quit [Read error: Connection reset by peer]
jryans has quit [Read error: Connection reset by peer]
emilazy has quit [Read error: Connection reset by peer]
promach[m] has joined #yosys
emilazy has joined #yosys
jryans has joined #yosys
jophish has joined #yosys
tnt_ is now known as tnt
zachjs has joined #yosys
zachjs has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zachjs has joined #yosys
tlwoerner has quit [Ping timeout: 244 seconds]
tlwoerner has joined #yosys
gsmecher has joined #yosys
gruetze_ is now known as gruetzkopf
FabM has quit [Remote host closed the connection]
zachjs has quit [Quit: zachjs]
Barabas has joined #yosys
whitequa1k is now known as whitequark
Barabas has left #yosys [#yosys]