| *** tpb has joined #yosys | 00:00 | |
| *** emeb has quit IRC | 00:01 | |
| *** rohitksingh has quit IRC | 00:10 | |
| *** rohitksingh has joined #yosys | 00:38 | |
| *** rohitksingh has quit IRC | 01:13 | |
| *** rohitksingh has joined #yosys | 01:44 | |
| *** emeb_mac has quit IRC | 01:58 | |
| *** emeb_mac has joined #yosys | 02:02 | |
| *** _whitelogger has quit IRC | 02:18 | |
| *** _whitelogger has joined #yosys | 02:20 | |
| *** gmc has quit IRC | 02:30 | |
| *** s_frit has quit IRC | 02:33 | |
| *** s_frit has joined #yosys | 02:33 | |
| *** gmc has joined #yosys | 02:53 | |
| *** gmc has quit IRC | 02:58 | |
| *** _whitelogger has quit IRC | 03:21 | |
| *** _whitelogger has joined #yosys | 03:23 | |
| *** _whitelogger has quit IRC | 03:33 | |
| *** futarisIRCcloud has joined #yosys | 03:35 | |
| *** _whitelogger has joined #yosys | 03:35 | |
| *** PyroPeter has quit IRC | 03:36 | |
| *** gmc has joined #yosys | 03:47 | |
| *** PyroPeter has joined #yosys | 03:49 | |
| *** s_frit has quit IRC | 04:11 | |
| *** s_frit has joined #yosys | 04:11 | |
| *** Cerpin has joined #yosys | 04:30 | |
| *** rohitksingh has quit IRC | 05:13 | |
| *** rohitksingh has joined #yosys | 05:36 | |
| TD-Linux | getting an error for ice40 on latest master: https://paste.debian.net/1096658/ | 05:48 |
|---|---|---|
| tpb | Title: debian Pastezone (at paste.debian.net) | 05:48 |
| *** rohitksingh has quit IRC | 05:50 | |
| *** dys has joined #yosys | 05:54 | |
| TD-Linux | (bisecting it atm) | 05:55 |
| *** jrolli has quit IRC | 06:13 | |
| *** dys has quit IRC | 06:16 | |
| *** dys has joined #yosys | 06:17 | |
| *** Jybz has joined #yosys | 06:17 | |
| *** jakobwenzel has joined #yosys | 06:25 | |
| *** Jybz has quit IRC | 06:27 | |
| *** gmc has quit IRC | 06:36 | |
| tnt | TD-Linux: did you update both yosys and nextpnr ? | 06:38 |
| TD-Linux | oh whoops is that a nextpnr error | 06:38 |
| TD-Linux | indeed it is. sorry for the noise | 06:39 |
| *** emeb_mac has quit IRC | 07:08 | |
| *** pie_ has quit IRC | 07:15 | |
| *** dys has quit IRC | 07:19 | |
| *** Thorn has quit IRC | 07:28 | |
| *** maikmerten has joined #yosys | 07:40 | |
| *** dys has joined #yosys | 07:40 | |
| *** qinfengling has quit IRC | 07:51 | |
| *** qinfengling has joined #yosys | 07:51 | |
| *** gmc has joined #yosys | 08:05 | |
| *** tux3 has quit IRC | 08:08 | |
| *** tux3 has joined #yosys | 08:08 | |
| *** Thorn has joined #yosys | 08:20 | |
| *** pie_ has joined #yosys | 08:44 | |
| *** futarisIRCcloud has quit IRC | 10:34 | |
| pepijndevos | What causes SymbiYosys to print a source location or the instance name? | 10:48 |
| pepijndevos | I've added source attributes to GHDL, but it still just prints \312 | 10:49 |
| daveshah | You probably want to generate instance and net names from the source attribute too | 10:52 |
| pepijndevos | huh? | 10:55 |
| pepijndevos | The verific assertion has attribute \src "cpu_tb.v:177" | 10:56 |
| pepijndevos | cell $assert $auto$verificsva.cc:1682:import$537 | 10:56 |
| pepijndevos | GHDL has attribute \src "alu.vhd:119:5" | 10:57 |
| pepijndevos | cell $assert \312 | 10:57 |
| pepijndevos | I don't think the instance name of Verific contains a lot of useful info | 10:57 |
| pepijndevos | The error seems to be generated here https://github.com/YosysHQ/yosys/blob/master/backends/smt2/smtbmc.py#L1061 | 10:59 |
| tpb | Title: yosys/smtbmc.py at master · YosysHQ/yosys · GitHub (at github.com) | 10:59 |
| *** pie_ has quit IRC | 10:59 | |
| pepijndevos | In Verific it prints "Assert failed in testbench: cpu_tb.v:177" which is clearly the src attribute, but in GHDL it just prints "Assert failed in alu: /312" | 11:11 |
| *** pie_ has joined #yosys | 11:12 | |
| daveshah | Oh, it might be that it needs a dollar prefixed name | 11:44 |
| daveshah | Otherwise it thinks it is a labeled assertion (`label: assert(x);`) and therefore prints the name instead of the location | 11:45 |
| pepijndevos | derp... | 12:10 |
| *** Cerpin has quit IRC | 13:11 | |
| *** maikmerten has quit IRC | 13:56 | |
| *** emeb has joined #yosys | 14:01 | |
| *** Cerpin has joined #yosys | 14:17 | |
| *** tlwoerner has quit IRC | 15:04 | |
| *** tlwoerner has joined #yosys | 15:12 | |
| *** dys has quit IRC | 15:50 | |
| *** pie_ has quit IRC | 15:52 | |
| *** promach has quit IRC | 16:25 | |
| *** emeb has left #yosys | 18:10 | |
| *** Cerpin has quit IRC | 18:54 | |
| *** Cerpin has joined #yosys | 19:13 | |
| *** Alio88 has joined #yosys | 19:22 | |
| *** X-Scale has quit IRC | 19:29 | |
| *** Cerpin has quit IRC | 19:44 | |
| *** Jybz has joined #yosys | 20:27 | |
| *** Alio88 has quit IRC | 20:34 | |
| *** Jybz has quit IRC | 21:00 | |
| *** emeb has joined #yosys | 21:58 | |
| *** _whitelogger has quit IRC | 22:38 | |
| *** _whitelogger has joined #yosys | 22:42 | |
| *** _whitelogger has quit IRC | 22:46 | |
| *** _whitelogger has joined #yosys | 22:48 | |
| *** _whitelogger has quit IRC | 22:51 | |
| *** futarisIRCcloud has joined #yosys | 23:17 | |
| *** Cerpin has joined #yosys | 23:23 | |
| *** cdchapm2 has joined #yosys | 23:34 | |
| *** Cerpin has quit IRC | 23:35 | |
| *** _whitelogger has joined #yosys | 23:48 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!