| *** tpb has joined #yosys | 00:00 | |
| *** pie__ has quit IRC | 03:14 | |
| *** nrossi has joined #yosys | 03:57 | |
| *** rohitksingh has quit IRC | 04:35 | |
| *** rohitksingh has joined #yosys | 06:05 | |
| *** Jybz has joined #yosys | 06:06 | |
| *** Jybz has quit IRC | 06:29 | |
| *** dys has quit IRC | 07:28 | |
| *** citypw has joined #yosys | 07:34 | |
| *** awordnot has quit IRC | 07:39 | |
| *** jakobwenzel has joined #yosys | 08:02 | |
| *** awordnot has joined #yosys | 08:07 | |
| *** citypw has quit IRC | 08:24 | |
| *** citypw has joined #yosys | 08:31 | |
| *** citypw has quit IRC | 08:33 | |
| *** citypw has joined #yosys | 08:33 | |
| *** citypw has quit IRC | 08:38 | |
| *** kraiskil has joined #yosys | 08:40 | |
| *** _whitelogger has quit IRC | 09:24 | |
| *** _whitelogger has joined #yosys | 09:26 | |
| *** dys has joined #yosys | 09:46 | |
| *** kraiskil has quit IRC | 09:53 | |
| *** kraiskil has joined #yosys | 10:11 | |
| *** dys has quit IRC | 10:13 | |
| *** dys has joined #yosys | 10:28 | |
| *** pie_ has joined #yosys | 10:29 | |
| *** dys has quit IRC | 10:58 | |
| pepijndevos | How can I specify top-level parameters in Yosys? | 11:24 |
|---|---|---|
| pepijndevos | chparam maybe? trying.. | 11:26 |
| daveshah | yeah chparam | 11:29 |
| daveshah | or hierarchy -chparam | 11:30 |
| pepijndevos | cool | 11:30 |
| pepijndevos | btw, yosys show always gives me a bunch of Cannot stat file /proc/4046/fd/29: Permission denied, is that something that's wrong on my end, or a bug? | 11:31 |
| daveshah | I've seen this recently too | 11:32 |
| daveshah | Haven't looked into it in detail | 11:32 |
| daveshah | Seems to be coming from fuser | 11:33 |
| pepijndevos | Yea, it seems to work regardless, so I've been ignoring it | 11:33 |
| daveshah | Running fuser on any file seems to trigger it, so I assume not a Yosys issue (I am on Arch, not sure what you are using) | 11:34 |
| *** jakobwenzel1 has joined #yosys | 11:34 | |
| pepijndevos | also arch | 11:38 |
| *** jakobwenzel has quit IRC | 11:40 | |
| *** jakobwenzel1 is now known as jakobwenzel | 11:40 | |
| *** m4ssi has joined #yosys | 11:40 | |
| *** massi_ has joined #yosys | 11:45 | |
| *** m4ssi has quit IRC | 11:49 | |
| pepijndevos | Hrm, I'm trying to run synth_gowin without selecting a top module, but failing. | 11:51 |
| pepijndevos | synth_gowin -run coarse: | 11:53 |
| pepijndevos | that should run coarse and onwards, right? | 11:53 |
| pepijndevos | wait, maybe I actually finally got it right | 11:54 |
| ZirconiumX | That starts at coarse and then progresses | 11:57 |
| ZirconiumX | Which is...not meaningfully different to the default | 11:57 |
| pepijndevos | except it skips the hierarchy command which deletes all but one module | 11:58 |
| pepijndevos | Is there any reason the following would not work? | 12:14 |
| pepijndevos | wire _TECHMAP_REMOVEINIT_Q_ = _TECHMAP_WIREINIT_Q_ === 1'b0; | 12:14 |
| pepijndevos | What I want is that if the wiri init is zero, consider it solved, else leave it and generate a warning | 12:15 |
| pepijndevos | ouch... I know... | 12:17 |
| pepijndevos | it's inserting an IOB into the wire, so now the IOB output has an init set | 12:17 |
| pepijndevos | Well, that was not the solution either... | 12:30 |
| pepijndevos | ah, found it | 12:35 |
| *** adjtm_ has joined #yosys | 12:47 | |
| *** adjtm has quit IRC | 12:50 | |
| *** X-Scale` has joined #yosys | 13:01 | |
| *** X-Scale has quit IRC | 13:02 | |
| *** X-Scale` is now known as X-Scale | 13:02 | |
| pepijndevos | Is there something where you can assert that ther *should* be a warning? | 13:05 |
| pepijndevos | I want check -assert -noinit but I want to assert that there is in fact an unhandled init | 13:06 |
| daveshah | You could use something like `select -assert-count 1 a:init` | 13:06 |
| pepijndevos | hmmm okay thanks | 13:10 |
| *** X-Scale has quit IRC | 13:22 | |
| *** X-Scale has joined #yosys | 13:25 | |
| pepijndevos | daveshah, I remember we discussed some common idioms to initialise a dff, where Gowin used something else than the initial keyword | 13:27 |
| pepijndevos | do you remember what it was? | 13:27 |
| daveshah | Must have been reg q = 1'b1; | 13:27 |
| daveshah | Sometimes I think that's even called FPGA style initialisation for some archaic reason | 13:27 |
| pepijndevos | yay works | 13:42 |
| *** X-Scale has quit IRC | 13:53 | |
| *** X-Scale` has joined #yosys | 13:53 | |
| *** X-Scale` is now known as X-Scale | 13:54 | |
| *** X-Scale` has joined #yosys | 14:28 | |
| *** X-Scale has quit IRC | 14:28 | |
| *** X-Scale` is now known as X-Scale | 14:29 | |
| *** dh73 has joined #yosys | 15:39 | |
| *** maikmerten has joined #yosys | 15:49 | |
| *** kraiskil has quit IRC | 16:11 | |
| *** mirage335 has quit IRC | 16:31 | |
| *** massi_ has quit IRC | 16:37 | |
| *** dys has joined #yosys | 16:38 | |
| *** mirage335 has joined #yosys | 16:44 | |
| *** alexhw has quit IRC | 17:02 | |
| *** alexhw has joined #yosys | 17:04 | |
| *** fsasm has joined #yosys | 17:31 | |
| GenTooMan | always use the right tool for the job (face palm) so now I can install nextpnr. | 17:57 |
| *** m4ssi has joined #yosys | 18:14 | |
| *** m4ssi has quit IRC | 18:15 | |
| *** dh73 has quit IRC | 19:03 | |
| *** kraiskil has joined #yosys | 19:53 | |
| *** dh73 has joined #yosys | 20:10 | |
| *** dys has quit IRC | 20:17 | |
| *** rohitksingh has quit IRC | 20:45 | |
| *** nrossi has quit IRC | 21:16 | |
| *** fsasm has quit IRC | 21:21 | |
| *** maikmerten has quit IRC | 21:32 | |
| *** dys has joined #yosys | 21:50 | |
| *** dys has quit IRC | 22:17 | |
| *** spurserh has joined #yosys | 23:14 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!