https://intervalrain.github.io/posts/logicdesign/lec3/