https://templatedsign.blogspot.com/2022/11/logic-design-and-verification-using.html