| *** tpb has joined #yosys | 00:00 | |
| *** davidlattimore has quit IRC | 00:46 | |
| *** davidlattimore has joined #yosys | 00:47 | |
| *** lf has quit IRC | 00:50 | |
| *** lf_ has joined #yosys | 00:50 | |
| *** Forty-Bot has quit IRC | 00:57 | |
| *** ZipCPU has quit IRC | 00:57 | |
| *** blunaxela has quit IRC | 00:57 | |
| *** dkozel has quit IRC | 00:57 | |
| *** knielsen has quit IRC | 00:57 | |
| *** tnt has quit IRC | 00:57 | |
| *** Forty-Bot has joined #yosys | 01:17 | |
| *** ZipCPU has joined #yosys | 01:17 | |
| *** blunaxela has joined #yosys | 01:17 | |
| *** dkozel has joined #yosys | 01:17 | |
| *** knielsen has joined #yosys | 01:17 | |
| *** tnt has joined #yosys | 01:17 | |
| *** somlo has quit IRC | 01:19 | |
| *** Degi has quit IRC | 01:20 | |
| *** xtro has joined #yosys | 01:24 | |
| *** Degi has joined #yosys | 01:25 | |
| *** hansfbaier has joined #yosys | 01:39 | |
| *** citypw has joined #yosys | 02:26 | |
| *** citypw has quit IRC | 04:48 | |
| *** Degi has quit IRC | 04:59 | |
| *** Degi has joined #yosys | 05:03 | |
| *** hansfbaier has quit IRC | 06:25 | |
| *** hansfbaier has joined #yosys | 06:25 | |
| *** emeb_mac has quit IRC | 06:35 | |
| *** srk has quit IRC | 06:43 | |
| *** sorki has joined #yosys | 06:43 | |
| *** sorki is now known as srk | 06:46 | |
| *** hansfbaier has quit IRC | 06:53 | |
| *** _whitelogger has quit IRC | 06:57 | |
| *** _whitelogger has joined #yosys | 06:59 | |
| *** citypw has joined #yosys | 06:59 | |
| *** _whitelogger has quit IRC | 07:27 | |
| *** _whitelogger has joined #yosys | 07:29 | |
| *** _whitelogger has quit IRC | 07:51 | |
| *** _whitelogger has joined #yosys | 07:53 | |
| *** jakobwenzel has joined #yosys | 08:29 | |
| *** xtro has quit IRC | 08:46 | |
| *** vidbina has joined #yosys | 08:49 | |
| *** jakobwenzel has quit IRC | 09:56 | |
| *** vidbina has quit IRC | 11:40 | |
| *** vidbina has joined #yosys | 13:01 | |
| *** somlo has joined #yosys | 13:36 | |
| *** X-Scale` has joined #yosys | 14:01 | |
| *** X-Scale has quit IRC | 14:01 | |
| *** X-Scale` is now known as X-Scale | 14:02 | |
| *** jakobwenzel has joined #yosys | 15:37 | |
| *** jakobwenzel has quit IRC | 15:45 | |
| *** emeb has joined #yosys | 16:02 | |
| *** ZipCPU has quit IRC | 16:29 | |
| *** X-Scale` has joined #yosys | 16:55 | |
| *** X-Scale has quit IRC | 16:56 | |
| *** X-Scale` is now known as X-Scale | 16:56 | |
| *** citypw has quit IRC | 16:57 | |
| *** peeps[zen] has joined #yosys | 17:03 | |
| *** peepsalot has quit IRC | 17:04 | |
| *** gmc has quit IRC | 17:10 | |
| *** stzsch has quit IRC | 17:35 | |
| *** anticw has quit IRC | 17:44 | |
| *** elGamal has quit IRC | 17:44 | |
| *** moony has quit IRC | 17:44 | |
| *** moony has joined #yosys | 17:45 | |
| *** anticw has joined #yosys | 17:46 | |
| *** elGamal has joined #yosys | 17:47 | |
| *** elGamal has quit IRC | 17:54 | |
| *** elGamal has joined #yosys | 17:54 | |
| *** stzsch has joined #yosys | 18:25 | |
| *** cr1901_modern has quit IRC | 18:26 | |
| *** xtro has joined #yosys | 18:26 | |
| *** gmc has joined #yosys | 18:43 | |
| *** gmc has quit IRC | 18:45 | |
| *** gmc has joined #yosys | 18:46 | |
| *** vidbina has quit IRC | 19:00 | |
| *** kraiskil has joined #yosys | 19:15 | |
| *** kraiskil has quit IRC | 19:23 | |
| *** peeps[zen] is now known as peepsalot | 19:27 | |
| *** withig has quit IRC | 19:30 | |
| *** kraiskil has joined #yosys | 19:36 | |
| *** emeb_mac has joined #yosys | 20:44 | |
| *** vidbina has joined #yosys | 20:45 | |
| *** cr1901_modern has joined #yosys | 20:48 | |
| *** klotz has joined #yosys | 20:54 | |
| *** klotz has quit IRC | 20:55 | |
| *** klotz has joined #yosys | 20:56 | |
| *** lukego has quit IRC | 21:32 | |
| *** pointfree has quit IRC | 21:33 | |
| Raito_Bezarius | I'm trying to formal verify a simple block RAM design by using (* anyconst *) and I'm getting the error: "base: ERROR: Failed to get a constant init value for \f_data: $memrd$ĚŠam$./memory/block_ram.sv:72$1572982_DATA" unsure if I'm doing something wrong or what's the way forward from there | 21:34 |
|---|---|---|
| *** alexhw has quit IRC | 21:34 | |
| *** lukego has joined #yosys | 21:34 | |
| *** pointfree has joined #yosys | 21:34 | |
| *** alexhw has joined #yosys | 21:35 | |
| Raito_Bezarius | FWIW, there is a: " initial f_data = ram[f_addr]; | 21:35 |
| Raito_Bezarius | line in my fdesign | 21:35 |
| Raito_Bezarius | ram is afaik initialized and f_addr is a (* anyconst *) address | 21:36 |
| *** kraiskil has quit IRC | 21:37 | |
| Raito_Bezarius | okay, maybe putting initial assume (f_data == ram[f_addr]); looks better | 21:40 |
| *** TFKyle has quit IRC | 21:48 | |
| *** vidbina has quit IRC | 22:41 | |
| *** pointfree has quit IRC | 23:23 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!