| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has quit IRC (Quit: Klotz) | 00:17 | |
| *** preyalone <[email protected]> has joined #yosys | 04:01 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 260 seconds) | 05:55 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 06:08 | |
| *** preyalone <[email protected]> has quit IRC (Quit: Connection closed for inactivity) | 06:11 | |
| *** FabM <FabM!~FabM@2a03:d604:103:600:20fe:be2c:f8e2:3a2e> has joined #yosys | 06:23 | |
| *** Lord_Nightmare <Lord_Nightmare!znc@user/lord-nightmare/x-3657113> has quit IRC (Ping timeout: 240 seconds) | 06:29 | |
| *** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has joined #yosys | 06:38 | |
| *** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.) | 06:39 | |
| *** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has quit IRC (Quit: Bridge terminating on SIGTERM) | 07:19 | |
| *** sadoon_albader[m <sadoon_albader[m!~sadoonalb@2001:470:69fc:105::d188> has quit IRC (Quit: Bridge terminating on SIGTERM) | 07:19 | |
| *** jevinskie[m] <jevinskie[m]!~jevinskie@2001:470:69fc:105::bb3> has quit IRC (Quit: Bridge terminating on SIGTERM) | 07:19 | |
| *** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has quit IRC (Quit: Bridge terminating on SIGTERM) | 07:19 | |
| *** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has quit IRC (Quit: Bridge terminating on SIGTERM) | 07:19 | |
| *** acharles <acharles!~acharlesm@2001:470:69fc:105::188d> has quit IRC (Quit: Bridge terminating on SIGTERM) | 07:19 | |
| *** nsmlzl <nsmlzl!~nsmlzl@2001:470:69fc:105::c93a> has quit IRC (Quit: Bridge terminating on SIGTERM) | 07:19 | |
| *** diadatp <diadatp!~diadatp@user/diadatp> has quit IRC (Quit: Bridge terminating on SIGTERM) | 07:19 | |
| *** diadatp <diadatp!~diadatp@2001:470:69fc:105::c603> has joined #yosys | 07:23 | |
| *** acharles <acharles!~acharlesm@2001:470:69fc:105::188d> has joined #yosys | 07:25 | |
| *** sadoon_albader[m <sadoon_albader[m!~sadoonalb@2001:470:69fc:105::d188> has joined #yosys | 07:25 | |
| *** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has joined #yosys | 07:25 | |
| *** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has joined #yosys | 07:25 | |
| *** jevinskie[m] <jevinskie[m]!~jevinskie@2001:470:69fc:105::bb3> has joined #yosys | 07:25 | |
| *** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has joined #yosys | 07:25 | |
| *** nsmlzl <nsmlzl!~nsmlzl@2001:470:69fc:105::c93a> has joined #yosys | 07:26 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 246 seconds) | 08:45 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 08:47 | |
| *** X-Scale` <X-Scale`[email protected]> has joined #yosys | 10:31 | |
| *** X-Scale <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 10:32 | |
| *** X-Scale` is now known as X-Scale | 10:32 | |
| *** jevinskie[m] <jevinskie[m]!~jevinskie@2001:470:69fc:105::bb3> has quit IRC (Quit: User was banned) | 11:05 | |
| *** diadatp <diadatp!~diadatp@2001:470:69fc:105::c603> has quit IRC (Quit: User was banned) | 11:05 | |
| *** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has quit IRC (Quit: User was banned) | 11:05 | |
| *** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has quit IRC (Quit: User was banned) | 11:05 | |
| *** acharles <acharles!~acharlesm@2001:470:69fc:105::188d> has quit IRC (Quit: User was banned) | 11:05 | |
| *** sadoon_albader[m <sadoon_albader[m!~sadoonalb@2001:470:69fc:105::d188> has quit IRC (Quit: User was banned) | 11:05 | |
| *** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has quit IRC (Quit: User was banned) | 11:05 | |
| *** nsmlzl <nsmlzl!~nsmlzl@2001:470:69fc:105::c93a> has quit IRC (Quit: User was banned) | 11:05 | |
| *** adjtm <[email protected]> has joined #yosys | 12:05 | |
| agg | on ECP5 DP16KD memory, should INITVAL_XX attributes work to set initial values, when instantiating DP16KD directly? | 12:06 |
|---|---|---|
| gatecat | yeah, hopefully... | 12:07 |
| agg | I'm probably doing something else wrong then :p | 12:07 |
| agg | anything stand out as obviously stupid in https://dpaste.com/3256Z22UZ ? | 12:07 |
| tpb | Title: dpaste: 3256Z22UZ (at dpaste.com) | 12:07 |
| agg | I'm just getting all 0s on the output ports | 12:08 |
| agg | but in a version that's read+write without initialisation it's working OK | 12:08 |
| gatecat | they all need to be parameters, not attributes | 12:08 |
| agg | aaah | 12:08 |
| agg | thanks | 12:08 |
| agg | all of those items? | 12:09 |
| gatecat | yeah | 12:09 |
| agg | great | 12:09 |
| agg | the lattice pdf call them "attributes" -_- | 12:09 |
| agg | do you know what the difference between STATIC and DYNAMIC is for INIT_DATA? | 12:09 |
| gatecat | I don't think it actually changes anythingg | 12:10 |
| gatecat | might be some lattice tool feature to patch memory in bitstreams, idk | 12:11 |
| agg | ah maybe, yosys is complaining that there's no parameter INIT_DATA when I make it a param instead of an attrib | 12:11 |
| gatecat | maybe keep that one an attribute | 12:11 |
| gatecat | yosys and nextpnr don't look at it all either way | 12:11 |
| agg | fair | 12:11 |
| agg | bleh, still all 0s on the output, I'll keep poking | 12:12 |
| agg | getting some signs of life now i actually set the INIT_VAL to parameters as well as everything else, oops, thanks gatecat! | 12:20 |
| agg | something's still not quite right somewhere but at least bits are toggling | 12:21 |
| gatecat | I think the addresses need to be left-justified | 12:22 |
| gatecat | the LSBs are either padded with zeros or used for byte enables | 12:23 |
| agg | aah thanks gatecat, it was indeed the addresses needing left justifying, all working correctly now! | 12:45 |
| *** diadatp <diadatp!~diadatp@2001:470:69fc:105::c603> has joined #yosys | 12:48 | |
| *** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has joined #yosys | 12:51 | |
| *** sadoon_albader[m <sadoon_albader[m!~sadoonalb@2001:470:69fc:105::d188> has joined #yosys | 12:51 | |
| *** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has joined #yosys | 12:51 | |
| *** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has joined #yosys | 12:51 | |
| *** acharles <acharles!~acharlesm@2001:470:69fc:105::188d> has joined #yosys | 12:51 | |
| *** jevinskie[m] <jevinskie[m]!~jevinskie@2001:470:69fc:105::bb3> has joined #yosys | 12:51 | |
| *** nsmlzl <nsmlzl!~nsmlzl@2001:470:69fc:105::c93a> has joined #yosys | 12:51 | |
| *** X-Scale <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 12:51 | |
| *** X-Scale` <X-Scale`[email protected]> has joined #yosys | 12:52 | |
| *** X-Scale` is now known as X-Scale | 12:52 | |
| *** adjtm <[email protected]> has quit IRC (Ping timeout: 256 seconds) | 13:32 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Quit: ec) | 15:16 | |
| *** dys <dys!~dys@user/dys> has quit IRC (Remote host closed the connection) | 15:43 | |
| *** dys <dys!~dys@user/dys> has joined #yosys | 15:48 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 15:56 | |
| *** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has quit IRC (Quit: ZNC - http://znc.in) | 16:32 | |
| *** Lord_Nightmare <Lord_Nightmare!znc@user/lord-nightmare/x-3657113> has joined #yosys | 16:34 | |
| *** adjtm <adjtm!~adjtm@2a0c:5a80:1c01:3a00:b499:a8d6:4d3e:78e8> has joined #yosys | 17:25 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 240 seconds) | 17:55 | |
| *** FabM <FabM!~FabM@2a03:d604:103:600:c8d2:1602:b8d3:65b6> has joined #yosys | 18:17 | |
| *** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has joined #yosys | 18:44 | |
| *** josuah <[email protected]> has joined #yosys | 18:58 | |
| *** ZipCPU <[email protected]> has quit IRC (Remote host closed the connection) | 19:54 | |
| *** ZipCPU <[email protected]> has joined #yosys | 19:56 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Quit: Leaving) | 20:04 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds) | 20:31 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 20:53 | |
| shorne | lkcl: yeah, definitely finding those bugs is the goal here. in our dcache we have a but where a invalidate followed by a write will miss the write and cause leave stale data in the dcache. | 21:37 |
| shorne | I found that in via our c test programs, but our original formal testing written by the GSoC student, hence I am re-writing it. I have been able to find the problem, and now also I find there is an issue where a write may be missed if it's issued while dcache refill is in progress after a read succeeds | 21:39 |
| shorne | lkcl: this is the latest commandline waveform viewer I have seen https://github.com/Ben1152000/sootty | 21:41 |
| lkcl | shorne: that's pretty damn awesome, to get that level of graphical detail in a terminal. i wonder if it works with xterm | 22:06 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!