Ethan Sifferman

Wow! Really fantastic! I looked through the tests you wrote, and they all look really good. Though I was hoping for the checks that are unimplemented: that `_q`/`_reg` nets are...

Hmm, I'm worried about trying to list all the combinational assignments. I feel like a better way is to: * ensure all occurrences of a LHS dff-output are assigned by...

Also, non-blocking assignments are generally only valid inside always_ff blocks anyways. So I bet you can just continue using

Just noticed that BSG uses `_r` and `_n`: (I disagree with this style because `_n` is almost always for active-low signals.)

Hello! Thanks for following up! ### 1. I just found the [Freescale Verilog Guidelines](https://michaeltaylor.org/edu/papers/FreescaleVerilog.pdf) which use * `_p` for pipeline stages * `_ns` for state machine FF inputs *(probably not...

I wanted to recommend that if this feature is added, I think it should be added only as an option. Arrays of structs are currently synthesized as a BRAM. But...