| *** tpb has joined #yosys | 00:00 | |
| *** emeb_mac has joined #yosys | 00:24 | |
| *** leviathanch has joined #yosys | 01:12 | |
| *** srk has quit IRC | 01:25 | |
| *** srk has joined #yosys | 01:41 | |
| *** mirage335 has quit IRC | 02:25 | |
| *** AlexDaniel has quit IRC | 02:26 | |
| *** cr1901_modern has quit IRC | 02:43 | |
| *** cr1901_modern has joined #yosys | 02:44 | |
| *** msgctl1 has joined #yosys | 02:52 | |
| *** awordnot has quit IRC | 02:53 | |
| *** somlo has quit IRC | 02:53 | |
| *** dxld has quit IRC | 02:53 | |
| *** Marex has quit IRC | 02:53 | |
| *** msgctl has quit IRC | 02:53 | |
| *** kg6hum has quit IRC | 02:53 | |
| *** bluesceada has quit IRC | 02:55 | |
| *** awordnot has joined #yosys | 02:56 | |
| *** dxld has joined #yosys | 02:56 | |
| *** Marex has joined #yosys | 02:59 | |
| *** bluesceada has joined #yosys | 02:59 | |
| *** dxld has quit IRC | 03:03 | |
| *** mirage335 has joined #yosys | 03:08 | |
| *** kg6hum has joined #yosys | 03:09 | |
| *** dxld has joined #yosys | 03:18 | |
| *** mirage335 has quit IRC | 03:31 | |
| *** mirage335 has joined #yosys | 03:55 | |
| *** mirage335 has quit IRC | 04:01 | |
| *** citypw has joined #yosys | 04:06 | |
| *** rohitksingh_work has joined #yosys | 04:18 | |
| *** mirage335 has joined #yosys | 04:23 | |
| *** dxld has quit IRC | 04:31 | |
| *** dxld has joined #yosys | 04:36 | |
| *** dxld has quit IRC | 04:41 | |
| *** pie___ has joined #yosys | 04:43 | |
| *** pie__ has quit IRC | 04:47 | |
| *** dxld has joined #yosys | 04:54 | |
| *** dxld has quit IRC | 05:04 | |
| *** _whitelogger has quit IRC | 05:12 | |
| *** _whitelogger has joined #yosys | 05:15 | |
| *** dxld has joined #yosys | 05:28 | |
| *** mirage335 has quit IRC | 05:38 | |
| *** dys has joined #yosys | 05:43 | |
| *** mirage335 has joined #yosys | 05:44 | |
| *** dxld has quit IRC | 05:59 | |
| *** dxld has joined #yosys | 06:13 | |
| *** dxld has quit IRC | 06:19 | |
| *** dxld has joined #yosys | 06:54 | |
| *** dxld has quit IRC | 07:00 | |
| *** dxld has joined #yosys | 07:05 | |
| *** emeb_mac has quit IRC | 07:12 | |
| sigwinch | Moin! | 07:20 |
|---|---|---|
| *** dys has quit IRC | 07:26 | |
| *** m4ssi has joined #yosys | 08:22 | |
| *** mirage335 has quit IRC | 08:44 | |
| *** mirage335 has joined #yosys | 08:57 | |
| *** m4ssi has quit IRC | 09:08 | |
| *** msgctl1 is now known as msgctl | 09:24 | |
| *** leviathanch has quit IRC | 09:32 | |
| *** tmeissner has joined #yosys | 09:54 | |
| *** citypw has quit IRC | 09:55 | |
| *** rohitksingh_work has quit IRC | 10:05 | |
| *** promach has joined #yosys | 12:03 | |
| promach | For https://i.imgur.com/tz3QXNv.png , why does the cover() at line 319 still pass when the vcd waveform is showing otherwise ? | 12:04 |
| *** m4ssi has joined #yosys | 12:06 | |
| *** develonepi3 has left #yosys | 12:39 | |
| *** develonepi3 has joined #yosys | 12:39 | |
| *** rohitksingh_work has joined #yosys | 12:43 | |
| *** promach has quit IRC | 12:44 | |
| *** somlo has joined #yosys | 13:19 | |
| *** leviathanch has joined #yosys | 13:19 | |
| *** rohitksingh_work has quit IRC | 13:22 | |
| tmeissner | Hi everyone | 13:35 |
| tmeissner | I get an error regarding 'x'/'z' bits when using abc pdr with SymbiYosys | 13:36 |
| tmeissner | The Note says that I have to use setundef to workaround this | 13:36 |
| tmeissner | But in which context should I use that command? | 13:37 |
| *** kraiskil has joined #yosys | 13:44 | |
| *** celadon has quit IRC | 13:55 | |
| *** celadon has joined #yosys | 13:59 | |
| *** voxadam has quit IRC | 14:03 | |
| *** voxadam has joined #yosys | 14:03 | |
| *** rohitksingh has joined #yosys | 14:08 | |
| daveshah | tmeissner: try `setundef -zero` | 14:35 |
| ZipCPU | daveshah: Would that be within the [script] section of the SymbiYosys script? | 14:36 |
| daveshah | Yes, probably after prep | 14:37 |
| *** promach has joined #yosys | 14:43 | |
| *** kraiskil has quit IRC | 15:13 | |
| tmeissner | Thanks | 15:15 |
| tmeissner | Unfortunaly, `setundef -zero` doesn't help | 15:15 |
| tmeissner | I have RAMs in the design which aren't initialized. I tried to workaround that with using anyseq for the ram outputs, because the exact data doesn't matter at the moment. But this results in a assertion error within symbiyosys :( | 15:16 |
| daveshah | tmeissner: what about `setundef -zero -undriven`? | 15:19 |
| *** pie_ has joined #yosys | 15:20 | |
| *** pie___ has quit IRC | 15:21 | |
| *** nrossi has quit IRC | 15:39 | |
| *** jfng has quit IRC | 15:40 | |
| *** fevv8[m] has quit IRC | 15:40 | |
| *** nrossi has joined #yosys | 15:41 | |
| tmeissner | Same result :( | 15:42 |
| daveshah | tmeissner: What is the exact assertion failure that you see? | 15:42 |
| tmeissner | aig: ERROR: Design contains 'x' or 'z' bits. Use 'setundef' to replace those constants. | 15:46 |
| *** kraiskil has joined #yosys | 15:47 | |
| *** jfng has joined #yosys | 15:48 | |
| daveshah | Not sure then, I've seen this before but always been able to resolve it with setundef... | 15:49 |
| *** fevv8[m] has joined #yosys | 15:50 | |
| tmeissner | Okay. Nevertheless, thanks | 15:51 |
| *** pie_ has quit IRC | 15:56 | |
| *** promach has quit IRC | 16:17 | |
| *** kraiskil has quit IRC | 16:24 | |
| *** lutsabound has joined #yosys | 16:37 | |
| *** kraiskil has joined #yosys | 16:58 | |
| *** seldridge has joined #yosys | 17:09 | |
| *** tmeissner has quit IRC | 17:16 | |
| *** leviathanch has quit IRC | 17:36 | |
| *** Ultrasauce has quit IRC | 17:37 | |
| *** Ultrasauce has joined #yosys | 17:38 | |
| *** jevinskie has quit IRC | 17:46 | |
| *** jevinskie has joined #yosys | 17:48 | |
| *** seldridge has quit IRC | 17:56 | |
| *** pie_ has joined #yosys | 17:56 | |
| *** m4ssi has quit IRC | 17:58 | |
| *** emeb has joined #yosys | 17:58 | |
| *** Ultrasauce has quit IRC | 18:15 | |
| *** Ultrasauce has joined #yosys | 18:15 | |
| *** seldridge has joined #yosys | 18:17 | |
| *** rohitksingh has quit IRC | 18:31 | |
| *** lutsabound has quit IRC | 18:57 | |
| *** lutsabound has joined #yosys | 19:09 | |
| *** ZipCPU has quit IRC | 19:25 | |
| *** ZipCPU has joined #yosys | 19:30 | |
| *** dys has joined #yosys | 20:06 | |
| *** sigwinch_ has joined #yosys | 20:48 | |
| *** sigwinch has quit IRC | 20:51 | |
| *** kraiskil has quit IRC | 21:02 | |
| *** X-Scale` has joined #yosys | 22:11 | |
| *** X-Scale has quit IRC | 22:12 | |
| *** X-Scale` is now known as X-Scale | 22:12 | |
| *** lutsabound has quit IRC | 23:57 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!
