https://mgahn0706.github.io/lecture%20notes/digital%20system%20design/2024-10-20-behavior-modeling/