ic小白请教Clifford E. Cummings论文中异步fifo问题

追求前方

ic设计小白一枚，请教各位大佬异步fifo一个问题，
assign rbnext = !rempty ? rbin + rinc : rbin;
assign rgnext = (rbnext>>1) ^ rbnext; // binary-to-gray conversion
请问第一行代码如何保证实现读指针加一操作，assign不应该是连续赋值的功能吗？为什么这个代码可以实现指针加一的功能。
请各位大佬赐教，谢谢

asic_service

这个你要学习下verilog的基本语法，对电路底层的基本单元的功能要有理解。
rbnext后面肯定会有一个寄存器（估计是rbin）。就靠这个寄存器跟这个assign语句实现累加的。

回答完，发个广告，希望能让大家明白更多数字设计的原理，而不是背诵各种设计指导。
https://ke.qq.com/course/379407?tuin=64ce5e2a