<mwk>
verilog standard doesn't really say anything about memory file resolution, presumably because it's just supposed to follow usual rules for files (ie. just use the cwd)
<tnt>
The last message kinda made me think -I was supposed to work, but I guess verilog `include file discussion got mixed in the thread.
<mwk>
$readmemh is, after all, technically a "runtime" feature in verilog
<mwk>
yeah, the thread reply is just plain wrong
<mwk>
include files do work different
<mwk>
anyway — from the verilog standard perspective, $readmemh is no different to doing a $fopen with some fancy parsing, it's resolved wrt cwd at runtime
<mwk>
we could add a "memory file search path" in yosys (shouldn't even be hard), but by using it, you'd likely forfeit compatibility with all verilog simulators
<tnt>
It's just a bit easier to manage with the simulator because you have a distinct "build" and "run" phase for those while for yosys, it's all in one.
<tnt>
But then again iverilog and yosys already behave differently for `include path search ... (iverilog being "wrong" and doesn't look in the same dir as the file doing the include).
<killjoy>
tbh, forfeiting compatibility for correctness isn't the worst thing in the world.
_whitelogger has joined #yosys
<tnt>
Not a huge deal, I've worked around it before, I can do it again. And yeah, "correct" here is more like "convenient" ...
<mwk>
and, once again, searching the include path for memory files is pretty much incorrect
<mwk>
though I do agree it is convenient
freemint has quit [Ping timeout: 244 seconds]
<mwk>
(tbh I'd rather have separate search path lists though)
<mwk>
(partially because $readmemh is handled in entirely different yosys pass than `include)
<tnt>
Oh yeah, if doing anything at all, a separate path, only searched if the cwd doesn't find it, would be what I'd think is the best option.
<killjoy>
Just sayin'. If I had a nickle for every time I stumbled on someone's buggy code I had to delete and rewrite to make it more useful, I'd have a fair few nickles.
<killjoy>
But I'm just the peanut gallery.
<mwk>
tnt: I've added this to next devteam meeting agenda (on monday)
<tnt>
mwk: tx !
_whitelogger has joined #yosys
freemint has joined #yosys
emilazy has quit [Quit: node-irc says goodbye]
jryans has quit [Quit: node-irc says goodbye]
jryans has joined #yosys
emilazy has joined #yosys
anticw has quit [Ping timeout: 264 seconds]
freemint has quit [Remote host closed the connection]
freemint has joined #yosys
anticw has joined #yosys
_whitelogger has joined #yosys
emilazy has quit [Quit: node-irc says goodbye]
jryans has quit [Quit: node-irc says goodbye]
jryans has joined #yosys
emilazy has joined #yosys
freeemint has joined #yosys
freemint has quit [Read error: Connection reset by peer]