Full threadhobo_mark·Wow, I wish we had these built-in provers in VHDL (which is basically Ada in sheep's clothing).View on HN