One thought on “LAVA arrows (vs. VHDL)”

  1. I've actually been thinking about this very concept for a little while. I'd like to see your thoughts on defining the gate level logic. For example, you said that and2 is defined with 2 input bits, and one output bit, but you never describe how the input states affect the output state.

    I'd also like a little bit more information on how the states help verify correctness.

Leave a Reply

Your email address will not be published. Required fields are marked *