clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
emeb has quit [Quit: Leaving.]
zachjs has joined #yosys
X-Scale` has joined #yosys
X-Scale has quit [Ping timeout: 258 seconds]
X-Scale` is now known as X-Scale
emeb_mac has joined #yosys
SpaceCoaster has joined #yosys
zachjs has quit [Remote host closed the connection]
X-Scale` has joined #yosys
X-Scale has quit [Ping timeout: 246 seconds]
X-Scale` is now known as X-Scale
<mithro> How do I cause synthesis to fail with an error message? Like #error in C?
<mithro> Yosys doesn't seem to like `$display` or `$error` ?
<mithro> ZipCPU: any idea?
<ZipCPU> I think I saw a recent pull request having to do with this concept
<ZipCPU> Perhaps it was $error(), $info(), and $warning()? I'd have to go and dig for it again
<mithro> ZipCPU: I'm trying to error when an invalid parameter is used...
<ZipCPU> I have two approaches to deal with that
<ZipCPU> 1) Use formal and catch the issue with an assert
<ZipCPU> 2) If one parameter is limited by another, pick a root parameter from which the dependent parameter derives, and only set the root parameter
<ZipCPU> These are by no means sufficient
<ZipCPU> But ... they might help?
cr1901_modern has joined #yosys
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
futarisIRCcloud has joined #yosys
gsi__ has joined #yosys
gsi_ has quit [Ping timeout: 252 seconds]
chaseemory has joined #yosys
PyroPeter has quit [Ping timeout: 248 seconds]
PyroPeter has joined #yosys
bwidawsk has quit [Quit: Always remember, and never forget; I'll be back.]
bwidawsk has joined #yosys
rohitksingh_work has joined #yosys
blunaxela has quit [Quit: leaving]
blunaxela has joined #yosys
gsi__ is now known as gsi_
jevinskie has joined #yosys
pacak has joined #yosys
rohitksingh_work has quit [Ping timeout: 258 seconds]
proteusguy has quit [Ping timeout: 248 seconds]
rohitksingh_work has joined #yosys
jevinskie has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jevinskie has joined #yosys
emeb_mac has quit [Ping timeout: 246 seconds]
kraiskil_ has joined #yosys
m4ssi has joined #yosys
X-Scale has quit [Quit: HydraIRC -> http://www.hydrairc.com <- \o/]
zachjs has joined #yosys
wifasoi has joined #yosys
zachjs has quit [Ping timeout: 255 seconds]
m_w has joined #yosys
m_w has quit [Ping timeout: 258 seconds]
rohitksingh_work has quit [Ping timeout: 255 seconds]
wifasoi has quit [Ping timeout: 248 seconds]
mjacob has quit [Ping timeout: 258 seconds]
mjacob has joined #yosys
kraiskil_ has quit [Ping timeout: 252 seconds]
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
kraiskil_ has joined #yosys
Forty-Bot has quit []
emeb has joined #yosys
kraiskil__ has joined #yosys
kraiskil_ has quit [Ping timeout: 248 seconds]
<ZipCPU> mithro: Clifford had a better suggestion, that's more applicable as well: https://gist.github.com/ZipCPU/2eee912838d67eeec2e021f5351f54f6
<tpb> Title: Stopping on bad parameters · GitHub (at gist.github.com)
X-Scale has joined #yosys
proteusguy has joined #yosys
rohitksingh has joined #yosys
fsasm has joined #yosys
alcorn has quit [Quit: alcorn]
alcorn1 has joined #yosys
alcorn1 has quit [Ping timeout: 268 seconds]
kraiskil__ has quit [Ping timeout: 248 seconds]
rohitksingh has quit [Ping timeout: 245 seconds]
rohitksingh has joined #yosys
MoeIcenowy has quit [Quit: ZNC 1.6.5+deb1+deb9u1 - http://znc.in]
MoeIcenowy has joined #yosys
zachjs has joined #yosys
m4ssi has quit [Remote host closed the connection]
zachjs has quit [Remote host closed the connection]
zachjs has joined #yosys
rohitksingh has quit [Ping timeout: 246 seconds]
zachjs has quit [Remote host closed the connection]
zachjs has joined #yosys
zachjs has quit [Ping timeout: 245 seconds]
wifasoi has joined #yosys
kraiskil__ has joined #yosys
rohitksingh has joined #yosys
fsasm has quit [Ping timeout: 258 seconds]
rohitksingh has quit [Ping timeout: 245 seconds]
<mithro> ZipCPU: it appears the $display() is squashed by "yosys -q" ?
<ZipCPU> Let me take a look
zachjs has joined #yosys
wifasoi has quit [Ping timeout: 268 seconds]
rohitksingh has joined #yosys
<ZipCPU> Yeah, that's what I'm getting as well. Still, it fails, and you can look at the log to see why. Let me suggest that instead of running with yosys -q, that you run with yosys -ql log.txt
<ZipCPU> That way if anything goes wrong, you can at least read the $display statement
thasti has joined #yosys
rohitksingh has quit [Ping timeout: 258 seconds]
m_w has joined #yosys
<mithro> ZipCPU: I'm not getting a failure?
jevinskie has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zachjs has quit [Remote host closed the connection]
dys has joined #yosys
<ZipCPU> Wait, your not?
<ZipCPU> mithro: The $stop should be creating a build failure for you
m_w has quit [Ping timeout: 246 seconds]
<mithro> I'm just running "yosys temp.v"
zachjs has joined #yosys
jevinskie has joined #yosys
emeb_mac has joined #yosys
emeb_mac has quit [Ping timeout: 255 seconds]
<ZipCPU> mithro: Go ahead and elaborate the design and it will fail.
zachjs has quit [Remote host closed the connection]
kraiskil__ has quit [Ping timeout: 248 seconds]
m_w has joined #yosys
kraiskil__ has joined #yosys
_whitelogger has joined #yosys
emeb_mac has joined #yosys
zachjs has joined #yosys
futarisIRCcloud has joined #yosys
zachjs has quit [Remote host closed the connection]
alcorn has joined #yosys
zachjs has joined #yosys
alcorn has quit [Read error: Connection reset by peer]
alcorn has joined #yosys
alcorn has quit [Ping timeout: 248 seconds]
gnufan_home has joined #yosys
m_w has quit [Quit: leaving]
kraiskil__ has quit [Ping timeout: 248 seconds]
zino has left #yosys ["Leaving"]
AlexDaniel has quit [Ping timeout: 246 seconds]
arnd has quit [Ping timeout: 258 seconds]
arnd has joined #yosys
AlexDaniel has joined #yosys
gnufan_home has quit [Quit: Leaving.]
tpb has quit [Remote host closed the connection]
tpb has joined #yosys