| *** tpb has joined #yosys | 00:00 | |
| *** emeb has quit IRC | 00:11 | |
| *** zachjs has joined #yosys | 00:13 | |
| *** X-Scale` has joined #yosys | 00:23 | |
| *** X-Scale has quit IRC | 00:24 | |
| *** X-Scale` is now known as X-Scale | 00:24 | |
| *** emeb_mac has joined #yosys | 00:33 | |
| *** SpaceCoaster has joined #yosys | 00:43 | |
| *** zachjs has quit IRC | 00:48 | |
| *** X-Scale` has joined #yosys | 00:58 | |
| *** X-Scale has quit IRC | 01:00 | |
| *** X-Scale` is now known as X-Scale | 01:00 | |
| mithro | How do I cause synthesis to fail with an error message? Like #error in C? | 01:06 |
|---|---|---|
| mithro | Yosys doesn't seem to like `$display` or `$error` ? | 01:13 |
| mithro | ZipCPU: any idea? | 01:13 |
| ZipCPU | I think I saw a recent pull request having to do with this concept | 01:14 |
| ZipCPU | Perhaps it was $error(), $info(), and $warning()? I'd have to go and dig for it again | 01:14 |
| mithro | ZipCPU: I'm trying to error when an invalid parameter is used... | 01:17 |
| ZipCPU | I have two approaches to deal with that | 01:17 |
| ZipCPU | 1) Use formal and catch the issue with an assert | 01:18 |
| ZipCPU | 2) If one parameter is limited by another, pick a root parameter from which the dependent parameter derives, and only set the root parameter | 01:18 |
| ZipCPU | These are by no means sufficient | 01:18 |
| ZipCPU | But ... they might help? | 01:18 |
| *** cr1901_modern has joined #yosys | 01:20 | |
| *** futarisIRCcloud has quit IRC | 01:44 | |
| *** futarisIRCcloud has joined #yosys | 02:08 | |
| *** gsi__ has joined #yosys | 02:26 | |
| *** gsi_ has quit IRC | 02:30 | |
| *** chaseemory has joined #yosys | 02:40 | |
| *** PyroPeter has quit IRC | 02:59 | |
| *** PyroPeter has joined #yosys | 03:12 | |
| *** bwidawsk has quit IRC | 03:44 | |
| *** bwidawsk has joined #yosys | 03:48 | |
| *** rohitksingh_work has joined #yosys | 05:11 | |
| *** blunaxela has quit IRC | 05:48 | |
| *** blunaxela has joined #yosys | 05:51 | |
| *** gsi__ is now known as gsi_ | 05:54 | |
| *** jevinskie has joined #yosys | 05:54 | |
| *** pacak has joined #yosys | 06:04 | |
| *** rohitksingh_work has quit IRC | 06:18 | |
| *** proteusguy has quit IRC | 06:30 | |
| *** rohitksingh_work has joined #yosys | 06:31 | |
| *** jevinskie has quit IRC | 07:12 | |
| *** jevinskie has joined #yosys | 07:15 | |
| *** emeb_mac has quit IRC | 07:15 | |
| *** kraiskil_ has joined #yosys | 07:30 | |
| *** m4ssi has joined #yosys | 07:52 | |
| *** X-Scale has quit IRC | 07:54 | |
| *** zachjs has joined #yosys | 08:09 | |
| *** wifasoi has joined #yosys | 08:42 | |
| *** zachjs has quit IRC | 08:43 | |
| *** m_w has joined #yosys | 08:55 | |
| *** m_w has quit IRC | 09:30 | |
| *** rohitksingh_work has quit IRC | 10:06 | |
| *** wifasoi has quit IRC | 10:19 | |
| *** mjacob has quit IRC | 10:21 | |
| *** mjacob has joined #yosys | 10:21 | |
| *** kraiskil_ has quit IRC | 10:29 | |
| *** futarisIRCcloud has quit IRC | 10:47 | |
| *** kraiskil_ has joined #yosys | 11:18 | |
| *** Forty-Bot has quit IRC | 12:21 | |
| *** emeb has joined #yosys | 12:47 | |
| *** kraiskil__ has joined #yosys | 13:26 | |
| *** kraiskil_ has quit IRC | 13:29 | |
| ZipCPU | mithro: Clifford had a better suggestion, that's more applicable as well: https://gist.github.com/ZipCPU/2eee912838d67eeec2e021f5351f54f6 | 13:38 |
| tpb | Title: Stopping on bad parameters ยท GitHub (at gist.github.com) | 13:38 |
| *** X-Scale has joined #yosys | 14:04 | |
| *** proteusguy has joined #yosys | 14:09 | |
| *** rohitksingh has joined #yosys | 14:24 | |
| *** fsasm has joined #yosys | 14:32 | |
| *** alcorn has quit IRC | 14:37 | |
| *** alcorn1 has joined #yosys | 14:37 | |
| *** alcorn1 has quit IRC | 14:42 | |
| *** kraiskil__ has quit IRC | 15:10 | |
| *** rohitksingh has quit IRC | 15:18 | |
| *** rohitksingh has joined #yosys | 15:21 | |
| *** MoeIcenowy has quit IRC | 15:21 | |
| *** MoeIcenowy has joined #yosys | 15:22 | |
| *** zachjs has joined #yosys | 15:23 | |
| *** m4ssi has quit IRC | 15:34 | |
| *** zachjs has quit IRC | 15:45 | |
| *** zachjs has joined #yosys | 15:45 | |
| *** rohitksingh has quit IRC | 15:51 | |
| *** zachjs has quit IRC | 15:52 | |
| *** zachjs has joined #yosys | 16:01 | |
| *** zachjs has quit IRC | 16:05 | |
| *** wifasoi has joined #yosys | 16:11 | |
| *** kraiskil__ has joined #yosys | 16:15 | |
| *** rohitksingh has joined #yosys | 16:33 | |
| *** fsasm has quit IRC | 16:38 | |
| *** rohitksingh has quit IRC | 16:51 | |
| mithro | ZipCPU: it appears the $display() is squashed by "yosys -q" ? | 16:54 |
| ZipCPU | Let me take a look | 16:54 |
| *** zachjs has joined #yosys | 16:56 | |
| *** wifasoi has quit IRC | 17:02 | |
| *** rohitksingh has joined #yosys | 17:03 | |
| ZipCPU | Yeah, that's what I'm getting as well. Still, it fails, and you can look at the log to see why. Let me suggest that instead of running with yosys -q, that you run with yosys -ql log.txt | 17:05 |
| ZipCPU | That way if anything goes wrong, you can at least read the $display statement | 17:09 |
| *** thasti has joined #yosys | 17:23 | |
| *** rohitksingh has quit IRC | 17:24 | |
| *** m_w has joined #yosys | 17:24 | |
| mithro | ZipCPU: I'm not getting a failure? | 17:31 |
| *** jevinskie has quit IRC | 17:34 | |
| *** zachjs has quit IRC | 17:37 | |
| *** dys has joined #yosys | 17:48 | |
| ZipCPU | Wait, your not? | 18:09 |
| ZipCPU | mithro: The $stop should be creating a build failure for you | 18:09 |
| *** m_w has quit IRC | 18:10 | |
| mithro | I'm just running "yosys temp.v" | 18:10 |
| *** zachjs has joined #yosys | 18:14 | |
| *** jevinskie has joined #yosys | 18:15 | |
| *** emeb_mac has joined #yosys | 18:16 | |
| *** emeb_mac has quit IRC | 18:29 | |
| ZipCPU | mithro: Go ahead and elaborate the design and it will fail. | 18:37 |
| *** zachjs has quit IRC | 18:51 | |
| *** kraiskil__ has quit IRC | 19:26 | |
| *** m_w has joined #yosys | 19:30 | |
| *** kraiskil__ has joined #yosys | 19:53 | |
| *** _whitelogger has quit IRC | 20:26 | |
| *** _whitelogger has joined #yosys | 20:28 | |
| *** emeb_mac has joined #yosys | 20:44 | |
| *** zachjs has joined #yosys | 21:12 | |
| *** futarisIRCcloud has joined #yosys | 21:14 | |
| *** zachjs has quit IRC | 21:16 | |
| *** alcorn has joined #yosys | 21:31 | |
| *** zachjs has joined #yosys | 21:33 | |
| *** alcorn has quit IRC | 21:36 | |
| *** alcorn has joined #yosys | 21:37 | |
| *** alcorn has quit IRC | 22:04 | |
| *** gnufan_home has joined #yosys | 22:06 | |
| *** m_w has quit IRC | 22:15 | |
| *** kraiskil__ has quit IRC | 22:20 | |
| *** zino has left #yosys | 22:25 | |
| *** AlexDaniel has quit IRC | 22:35 | |
| *** arnd has quit IRC | 22:43 | |
| *** arnd has joined #yosys | 22:45 | |
| *** AlexDaniel has joined #yosys | 23:26 | |
| *** gnufan_home has quit IRC | 23:38 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!