https://icinfra.cn/posts/logical-and-bitwise-operators-in-verilog-(video)/