https://decobowepiho.ashleyllanes.com/correct-hardware-design-and-verification-methods-book-3682qh.php