ChanServ changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
Klotz has quit [Quit: Klotz]
preyalone has joined #yosys
kristianpaul has quit [Ping timeout: 260 seconds]
kristianpaul has joined #yosys
preyalone has quit [Quit: Connection closed for inactivity]
FabM has joined #yosys
FabM has quit [Changing host]
FabM has joined #yosys
Lord_Nightmare has quit [Ping timeout: 240 seconds]
Lord_Nightmare has joined #yosys
emeb_mac has quit [Quit: Leaving.]
whitequark has quit [Quit: Bridge terminating on SIGTERM]
jevinskie[m] has quit [Quit: Bridge terminating on SIGTERM]
sadoon_albader[m has quit [Quit: Bridge terminating on SIGTERM]
xiretza[m] has quit [Quit: Bridge terminating on SIGTERM]
pepijndevos[m] has quit [Quit: Bridge terminating on SIGTERM]
acharles has quit [Quit: Bridge terminating on SIGTERM]
nsmlzl has quit [Quit: Bridge terminating on SIGTERM]
diadatp has quit [Quit: Bridge terminating on SIGTERM]
diadatp has joined #yosys
acharles has joined #yosys
sadoon_albader[m has joined #yosys
pepijndevos[m] has joined #yosys
xiretza[m] has joined #yosys
jevinskie[m] has joined #yosys
whitequark has joined #yosys
nsmlzl has joined #yosys
kristianpaul has quit [Ping timeout: 246 seconds]
kristianpaul has joined #yosys
X-Scale` has joined #yosys
X-Scale has quit [Ping timeout: 272 seconds]
X-Scale` is now known as X-Scale
jevinskie[m] has quit [Quit: User was banned]
diadatp has quit [Quit: User was banned]
whitequark has quit [Quit: User was banned]
xiretza[m] has quit [Quit: User was banned]
acharles has quit [Quit: User was banned]
sadoon_albader[m has quit [Quit: User was banned]
pepijndevos[m] has quit [Quit: User was banned]
nsmlzl has quit [Quit: User was banned]
adjtm has joined #yosys
<agg> on ECP5 DP16KD memory, should INITVAL_XX attributes work to set initial values, when instantiating DP16KD directly?
<gatecat> yeah, hopefully...
<agg> I'm probably doing something else wrong then :p
<agg> anything stand out as obviously stupid in https://dpaste.com/3256Z22UZ ?
<tpb> Title: dpaste: 3256Z22UZ (at dpaste.com)
<agg> I'm just getting all 0s on the output ports
<agg> but in a version that's read+write without initialisation it's working OK
<gatecat> they all need to be parameters, not attributes
<agg> aaah
<agg> thanks
<agg> all of those items?
<gatecat> yeah
<agg> great
<agg> the lattice pdf call them "attributes" -_-
<agg> do you know what the difference between STATIC and DYNAMIC is for INIT_DATA?
<gatecat> I don't think it actually changes anythingg
<gatecat> might be some lattice tool feature to patch memory in bitstreams, idk
<agg> ah maybe, yosys is complaining that there's no parameter INIT_DATA when I make it a param instead of an attrib
<gatecat> maybe keep that one an attribute
<gatecat> yosys and nextpnr don't look at it all either way
<agg> fair
<agg> bleh, still all 0s on the output, I'll keep poking
<agg> getting some signs of life now i actually set the INIT_VAL to parameters as well as everything else, oops, thanks gatecat!
<agg> something's still not quite right somewhere but at least bits are toggling
<gatecat> I think the addresses need to be left-justified
<gatecat> the LSBs are either padded with zeros or used for byte enables
<agg> aah thanks gatecat, it was indeed the addresses needing left justifying, all working correctly now!
diadatp has joined #yosys
sadoon_albader[m has joined #yosys
pepijndevos[m] has joined #yosys
xiretza[m] has joined #yosys
whitequark has joined #yosys
acharles has joined #yosys
jevinskie[m] has joined #yosys
nsmlzl has joined #yosys
X-Scale has quit [Ping timeout: 240 seconds]
X-Scale` has joined #yosys
X-Scale` is now known as X-Scale
adjtm has quit [Ping timeout: 256 seconds]
ec has quit [Quit: ec]
dys has quit [Remote host closed the connection]
dys has joined #yosys
ec has joined #yosys
Lord_Nightmare has quit [Quit: ZNC - http://znc.in]
Lord_Nightmare has joined #yosys
adjtm has joined #yosys
FabM has quit [Ping timeout: 240 seconds]
FabM has joined #yosys
FabM has joined #yosys
Klotz has joined #yosys
josuah has joined #yosys
ZipCPU has quit [Remote host closed the connection]
ZipCPU has joined #yosys
FabM has quit [Quit: Leaving]
ec has quit [Ping timeout: 240 seconds]
ec has joined #yosys
<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.
<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
<shorne> lkcl: this is the latest commandline waveform viewer I have seen https://github.com/Ben1152000/sootty
<lkcl> shorne: that's pretty damn awesome, to get that level of graphical detail in a terminal. i wonder if it works with xterm