| *** tpb has joined #yosys | 00:00 | |
| *** lutsabound has quit IRC | 00:00 | |
| *** knielsen has joined #yosys | 00:01 | |
| *** lutsabound has joined #yosys | 00:27 | |
| *** cr1901_modern has quit IRC | 01:24 | |
| *** zachjs has quit IRC | 01:37 | |
| *** gsi__ has joined #yosys | 02:33 | |
| *** gsi_ has quit IRC | 02:36 | |
| *** lutsabound has quit IRC | 02:40 | |
| *** dys has quit IRC | 02:44 | |
| *** promach has joined #yosys | 02:50 | |
| promach | ZipCPU: not sure why yosys sby formal tool gave me that initial unknown thing. I will use iverilog and vivado simulator and solves most of the problems first | 02:51 |
|---|---|---|
| ZipCPU | Yeah, me neither--since the formal tools have never given me 'x's before | 02:52 |
| ZipCPU | Are you sure you had -formal specified in your sby file? | 02:52 |
| * ZipCPU is just making wild guesses at this point, having never seen this before | 02:52 | |
| promach | ZipCPU: https://gist.github.com/promach/cf3ae626a85badad6cd822d3107c86b7#file-spidergon-sby | 02:56 |
| tpb | Title: Spidergon Networks On Chip ยท GitHub (at gist.github.com) | 02:56 |
| ZipCPU | Try using read_verilog -formal, and see if that makes any different from read_verilog -formal -sv | 03:02 |
| promach | you mean without -sv ? | 03:03 |
| *** PyroPeter has quit IRC | 03:03 | |
| ZipCPU | Yes | 03:05 |
| ZipCPU | It shouldn't make a difference since you don't have the sv license anyway | 03:06 |
| ZipCPU | Although, you should know that the "read" command supercedes "read_verilog", but that discussion can wait for another day | 03:07 |
| promach | I guess the issue lies somewhere else other than the sby file ;| | 03:07 |
| promach | :| | 03:07 |
| *** PyroPeter has joined #yosys | 03:16 | |
| *** gnufan_home has quit IRC | 03:34 | |
| *** emeb has left #yosys | 03:58 | |
| *** s_frit has quit IRC | 04:13 | |
| *** s_frit has joined #yosys | 04:13 | |
| *** zachjs has joined #yosys | 04:30 | |
| *** gnufan_home has joined #yosys | 04:54 | |
| *** proteus-guy has quit IRC | 04:56 | |
| *** indy has quit IRC | 04:57 | |
| *** rohitksingh_work has joined #yosys | 04:58 | |
| *** jevinski_ has joined #yosys | 05:28 | |
| *** jevinskie has quit IRC | 05:29 | |
| *** jevinskie has joined #yosys | 05:37 | |
| *** jevinski_ has quit IRC | 05:38 | |
| *** proteusguy has joined #yosys | 05:57 | |
| *** s_frit has quit IRC | 06:35 | |
| *** s_frit has joined #yosys | 06:36 | |
| *** jakobwenzel has joined #yosys | 06:51 | |
| *** emeb_mac has quit IRC | 07:15 | |
| *** zachjs has quit IRC | 07:20 | |
| *** GuzTech has joined #yosys | 07:24 | |
| *** s_frit has quit IRC | 07:29 | |
| *** s_frit has joined #yosys | 07:29 | |
| *** emeb_mac has joined #yosys | 07:59 | |
| *** rohitksingh has joined #yosys | 08:18 | |
| *** rohitksingh has quit IRC | 08:28 | |
| *** rohitksingh has joined #yosys | 08:35 | |
| *** rohitksingh has quit IRC | 08:46 | |
| *** jevinskie has quit IRC | 09:07 | |
| *** emeb_mac has quit IRC | 09:43 | |
| *** proteusguy has quit IRC | 11:07 | |
| *** cr1901_modern has joined #yosys | 11:23 | |
| *** gnufan_home has quit IRC | 12:30 | |
| *** gnufan_home has joined #yosys | 12:46 | |
| *** wifasoi has joined #yosys | 12:56 | |
| *** rohitksingh_work has quit IRC | 13:03 | |
| *** s_frit has quit IRC | 13:47 | |
| *** s_frit has joined #yosys | 13:48 | |
| *** MoeIcenowy has quit IRC | 13:52 | |
| *** MoeIcenowy has joined #yosys | 13:53 | |
| *** rohitksingh has joined #yosys | 13:58 | |
| *** jevinskie has joined #yosys | 14:05 | |
| *** rohitksingh has quit IRC | 14:15 | |
| *** rohitksingh has joined #yosys | 14:15 | |
| *** rohitksingh has quit IRC | 14:31 | |
| *** m4ssi has joined #yosys | 14:35 | |
| *** emeb has joined #yosys | 14:56 | |
| *** GuzTech has quit IRC | 15:05 | |
| *** rohitksingh has joined #yosys | 15:38 | |
| *** proteusguy has joined #yosys | 16:05 | |
| *** m4ssi has quit IRC | 16:06 | |
| *** wifasoi has quit IRC | 16:51 | |
| *** rohitksingh has quit IRC | 17:05 | |
| *** rohitksingh has joined #yosys | 17:15 | |
| *** rohitksingh has quit IRC | 17:27 | |
| *** jevinskie has quit IRC | 17:27 | |
| *** rohitksingh has joined #yosys | 17:29 | |
| *** kbeckmann has quit IRC | 19:23 | |
| *** Jybz has joined #yosys | 19:28 | |
| *** togo has joined #yosys | 19:44 | |
| *** danieljabailey_ has joined #yosys | 19:46 | |
| *** danieljabailey has quit IRC | 19:47 | |
| *** alexhw has quit IRC | 19:47 | |
| *** _whitelogger has quit IRC | 19:47 | |
| *** Jybz has quit IRC | 20:17 | |
| *** cr1901_modern has quit IRC | 20:38 | |
| *** rohitksingh has quit IRC | 20:40 | |
| *** zachjs has joined #yosys | 20:43 | |
| *** ymherklotz has joined #yosys | 21:00 | |
| *** ymherklotz has left #yosys | 21:19 | |
| *** ymherklotz has joined #yosys | 21:25 | |
| ymherklotz | Hi, I would like to load a verilog design in yosys and append a string like "_1" to all the modules | 21:29 |
| ymherklotz | using 'rename mod1 mod1_1' works, however, I saw that yosys has a -enumerate option | 21:30 |
| ymherklotz | I can't seem to get it to work though, I have tried rename -enumerate A:* and selecting all the modules before calling rename -enumerate | 21:30 |
| daveshah | As far as I know, -enumerate is intended to give things with dollar-prefixed internal names shorter names | 21:32 |
| daveshah | It's not for renaming user modules | 21:32 |
| ymherklotz | Ah ok, so it does not work on modules? | 21:32 |
| daveshah | rename does, but -enumerate doesn't - it is for nets and cells with dollar prefixes (typically ones generated by Yosys) | 21:33 |
| ymherklotz | Ah ok, is there another way I could batch rename modules? Or should I just stick to doing it individually? | 21:33 |
| ymherklotz | I'm asking because I want to compare two designs that have the same module names in one top level module | 21:35 |
| *** cr1901_modern has joined #yosys | 21:36 | |
| daveshah | I think you have to do it individually | 21:36 |
| ymherklotz | Great thanks! | 21:37 |
| *** ymherklotz has quit IRC | 22:08 | |
| *** zachjs has quit IRC | 22:20 | |
| *** cr1901_modern has quit IRC | 22:34 | |
| *** cr1901_modern has joined #yosys | 22:39 | |
| *** s_frit has quit IRC | 22:46 | |
| *** zachjs has joined #yosys | 22:47 | |
| *** togo has quit IRC | 22:57 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!