MoeIcenowy has quit [Quit: ZNC 1.6.5+deb1+deb9u1 - http://znc.in]
MoeIcenowy has joined #yosys
rohitksingh has joined #yosys
alcorn has joined #yosys
alcorn has quit [Ping timeout: 246 seconds]
emeb_mac has quit [Ping timeout: 255 seconds]
ravenexp has joined #yosys
Jybz has joined #yosys
kraiskil has joined #yosys
kraiskil has quit [Read error: Connection reset by peer]
GuzTech has joined #yosys
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 250 seconds]
shenchen|zzz is now known as shenchen
citypw has quit [Ping timeout: 258 seconds]
citypw has joined #yosys
dys has joined #yosys
rohitksingh has quit [Ping timeout: 245 seconds]
dys has quit [Ping timeout: 246 seconds]
kraiskil has joined #yosys
maikmerten has joined #yosys
_whitelogger has joined #yosys
dys has joined #yosys
s_frit has joined #yosys
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
kraiskil has quit [Ping timeout: 250 seconds]
kraiskil has joined #yosys
emeb has joined #yosys
kraiskil has quit [Ping timeout: 258 seconds]
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 276 seconds]
GuzTech has quit [Remote host closed the connection]
kraiskil has joined #yosys
maikmerten has quit [Remote host closed the connection]
kraiskil has quit [Read error: Connection reset by peer]
shenchen has quit [Ping timeout: 258 seconds]
shenchen has joined #yosys
Thorn has quit [Ping timeout: 258 seconds]
Thorn has joined #yosys
kraiskil has joined #yosys
<mithro>
ZipCPU: You any good at understanding `select` commands?
<ZipCPU>
How so?
<mithro>
Actually, firstly - does Yosys have a `-Werror` type flag?
* ZipCPU
looks up select commands
adjtm has quit [Ping timeout: 258 seconds]
<ZipCPU>
Not that I know of. I use verilator _Wall to as a lint checker
<ZipCPU>
Sorry, verilator -Wall -cc
<mithro>
I really want to turn this warning into an error -> Warning: wire '\o1' is assigned in a block at dff_two_clocks.sim.v:11.
<mithro>
ZipCPU: Because that actually seems to be the issue with my select commands...
<ZipCPU>
Are you familiar with that warning?
<ZipCPU>
That one was put into Yosys at my request
<ZipCPU>
It basically means that o1 was defined as a "wire" (not a "reg") and then assigned within an always @(*) block
<ZipCPU>
Verific catches these things and returns them as errors, so I thought Yosys should as well
<ZipCPU>
Internally, however, yosys doesn't really treat wires and reg's all that differently
<ZipCPU>
But ... at this point I'm probably not answering your question anymore ;)
<emeb>
ZipCPU: for most of my career I've been a Verilog coder. Then, about 8yrs ago I had to switch over to VHDL. This has made me appreciate languages that are much more strict.
<daveshah>
mithro: You can use -e regex to make a warning matching a regex into an error
<emeb>
Having to run my Verilog thru a few different tools which are persnickety about different things is annoying. I started using Verilator for linting a while back and this makes me happier.
<mithro>
daveshah: Oh? Where do I pass that?
<daveshah>
To the Yosys main command line
<daveshah>
There are a few other similar options that may be of interest too, see yosys -h
<ZipCPU>
emeb: o/ If there's one thing that annoys me, its verilog code that works fine with one parser from one vendor's tool, but not with another
<emeb>
ZipCPU: Just so.
<mithro>
yosys -e "wire '[^']*' is assigned in a block"
msgctl has quit [Remote host closed the connection]
* ZipCPU
scratches his head confused
<ZipCPU>
daveshah?
<daveshah>
That looks correct to me
adjtm has joined #yosys
rohitksingh has joined #yosys
mirage335 has quit [Ping timeout: 245 seconds]
rohitksingh has quit [Ping timeout: 246 seconds]
rohitksingh has joined #yosys
Jybz has quit [Quit: Konversation terminated!]
rohitksingh has quit [Ping timeout: 258 seconds]
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
kraiskil has quit [Read error: Connection reset by peer]
cr1901_modern has quit [Ping timeout: 245 seconds]
dys has quit [Ping timeout: 246 seconds]
dys has joined #yosys
Cerpin has quit [Read error: Connection reset by peer]
Cerpin has joined #yosys
mirage335 has joined #yosys
MoeIcenowy has quit [Quit: ZNC 1.6.5+deb1+deb9u1 - http://znc.in]
MoeIcenowy has joined #yosys
alcorn has joined #yosys
sielicki has joined #yosys
<sielicki>
One of my classes required us to write very backwards verilog at the beginning of the class, and now our class project is nearly complete and I'd like to remove some of the cruft that we had to use.
<sielicki>
I want to propagate removal of just a set of these backwards / useless modules, across all modules. Not for any sort of synthesis reason but just for the sake of cleaning things up. I'm probably spending more time playing with yosys than it would take to just do it by hand, but I'm curious if anyone can help me figure out how to get my script in working order.