| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** bpye <bpye!~bpye@user/bpye> has joined #yosys | 01:30 | |
| 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 | 01:31 |
|---|---|---|
| *** furan <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 01:35 | |
| *** stroboko1p <[email protected]> has joined #yosys | 01:46 | |
| *** strobokopp <[email protected]> has quit IRC (Ping timeout: 244 seconds) | 01:49 | |
| *** Ekho- is now known as Ekho | 02:40 | |
| 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. | 02:46 |
| *** FabM <FabM!~FabM@2a03:d604:101:1200:c4bd:1e46:cbd0:ec12> has joined #yosys | 04:04 | |
| *** adamhorden <adamhorden!~adam.hord@host86-176-101-91.range86-176.btcentralplus.com> has quit IRC (Ping timeout: 272 seconds) | 06:06 | |
| *** adamhorden <adamhorden!~adam.hord@host86-160-233-54.range86-160.btcentralplus.com> has joined #yosys | 06:58 | |
| *** lkcl_ <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 09:54 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 268 seconds) | 10:32 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 10:36 | |
| *** srk <srk!~sorki@user/srk> has quit IRC (Quit: ZNC 1.8.1 - https://znc.in) | 12:11 | |
| *** srk <srk!~sorki@user/srk> has joined #yosys | 12:11 | |
| *** promach[m] <promach[m]!~promach@2001:470:69fc:105::ca1> has quit IRC (Ping timeout: 244 seconds) | 13:58 | |
| *** jophish <jophish!~jophish@2001:470:69fc:105::670> has quit IRC (Read error: Connection reset by peer) | 13:59 | |
| *** emilazy <emilazy!~emilazy@user/emilazy> has quit IRC (Read error: Connection reset by peer) | 13:59 | |
| *** jryans <jryans!~jryansmat@2001:470:69fc:105::1d> has quit IRC (Read error: Connection reset by peer) | 13:59 | |
| *** promach[m] <promach[m]!~promach@2001:470:69fc:105::ca1> has joined #yosys | 14:00 | |
| *** emilazy <emilazy!~emilazy@user/emilazy> has joined #yosys | 14:01 | |
| *** jryans <jryans!~jryansmat@2001:470:69fc:105::1d> has joined #yosys | 14:01 | |
| *** jophish <jophish!~jophish@2001:470:69fc:105::670> has joined #yosys | 14:01 | |
| *** tnt_ is now known as tnt | 14:10 | |
| *** zachjs <[email protected]> has joined #yosys | 14:26 | |
| *** zachjs <[email protected]> has quit IRC (Quit: My MacBook has gone to sleep. ZZZzzz…) | 15:08 | |
| *** zachjs <[email protected]> has joined #yosys | 15:19 | |
| *** tlwoerner <[email protected]> has quit IRC (Ping timeout: 244 seconds) | 15:20 | |
| *** tlwoerner <[email protected]> has joined #yosys | 15:21 | |
| *** gsmecher <[email protected]> has joined #yosys | 16:28 | |
| *** gruetze_ is now known as gruetzkopf | 17:14 | |
| *** FabM <FabM!~FabM@2a03:d604:101:1200:c4bd:1e46:cbd0:ec12> has quit IRC (Remote host closed the connection) | 17:14 | |
| *** zachjs <[email protected]> has quit IRC (Quit: zachjs) | 19:36 | |
| *** Barabas <[email protected]> has joined #yosys | 20:07 | |
| *** whitequa1k is now known as whitequark | 20:43 | |
| *** Barabas <[email protected]> has left #yosys | 22:12 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!