| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** emeb <[email protected]> has quit IRC (Quit: Leaving.) | 00:46 | |
| *** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has quit IRC (Quit: Klotz) | 01:06 | |
| *** lexano_ <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 01:32 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:911:f905:9a1b:64ea:2992> has quit IRC (Read error: Connection reset by peer) | 01:44 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:911:a161:d48d:af64:c5d> has joined #yosys | 01:44 | |
| *** lexano_ <[email protected]> has joined #yosys | 01:46 | |
| *** emeb_mac <[email protected]> has joined #yosys | 03:32 | |
| *** X-Scale` <X-Scale`[email protected]> has joined #yosys | 06:28 | |
| *** X-Scale <[email protected]> has quit IRC (Ping timeout: 256 seconds) | 06:30 | |
| *** X-Scale` is now known as X-Scale | 06:30 | |
| shorne | lkcl: I have run into that, we have MMU when we program mappings the 'way' address encoding if specified wrong will fail to update the MMU mapping | 06:39 |
|---|---|---|
| shorne | I have just added assumptions to clarify what is a valid way address | 06:40 |
| shorne | But formal testing is only as good as my definition of what is "valid" | 06:41 |
| shorne | But it is very quick to uncover what I have done wrong, speaking of which, I do a lot of my development over a ssh connection. But when I do digital design I always have to be at my workstation to view waveforms with gtkwave | 06:43 |
| shorne | does anyone have a good command line alternative for waveform viewing? I have seen a few but nothing that I can use yet | 06:44 |
| *** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.) | 07:25 | |
| lkcl | claire wolfe wrote one of the first formal correctness proofs for RISC-V cores, and it turned out to be extraordinarily valuable in finding horribly-obcscure bugs | 09:57 |
| lkcl | my favourite one i heard about - scuse me this was several years ago already so may be slightly mis-remembered - was an INT divide instruction affecting the results of FP | 09:58 |
| lkcl | something like that, and it turned out to be that because the DIV was done as a FSM, a register was left active, which then bled information back into certain instructions | 09:59 |
| lkcl | no unit test would ever find that! | 09:59 |
| lkcl | if you ever find a good command-line waveform viewer do let me know | 10:00 |
| *** evantandersen <[email protected]> has joined #yosys | 10:29 | |
| evantandersen | hey, I heard there might be someone here that could improve the performance of yosys/nextpnr? we're a commercial entity currently targeting the ice40 LP1K, icecube currently manages to fit our design into 1000 LUTs, open source is at 1230 (yosys -abc9/nextpnr) | 10:31 |
| evantandersen | thats a ~20% overhead | 10:31 |
| evantandersen | we can offer some money if that's the limiting factor | 10:32 |
| evantandersen | add me on discord if you're interested! charliehorse55#2689 | 10:38 |
| *** evantandersen <[email protected]> has quit IRC (Ping timeout: 256 seconds) | 10:43 | |
| *** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has joined #yosys | 10:51 | |
| *** Stary <Stary!~Stary@hacksoc/infrastructure> has quit IRC (Quit: ZNC - http://znc.in) | 13:27 | |
| *** Stary <Stary!~Stary@hacksoc/infrastructure> has joined #yosys | 13:33 | |
| *** chaoticryptidz <chaoticryptidz!~quassel@2a01:4f9:c010:8beb::> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 14:15 | |
| *** chaoticryptidz <chaoticryptidz!~quassel@2a01:4f9:c010:8beb::> has joined #yosys | 14:15 | |
| *** emeb_mac <[email protected]> has joined #yosys | 17:00 | |
| *** adjtm <[email protected]> has quit IRC (Quit: Leaving) | 20:03 | |
| *** emeb <[email protected]> has joined #yosys | 20:21 | |
| *** marzoul <[email protected]> has joined #yosys | 22:06 | |
| *** emeb <[email protected]> has quit IRC (Quit: Leaving.) | 22:31 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:911:a161:d48d:af64:c5d> has quit IRC (Remote host closed the connection) | 23:56 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:911:b4c9:20e0:7b9e:4b06> has joined #yosys | 23:58 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!