https://wunegotywa.fixdemocracynow.com/finite-state-machine-logic-synthesis-for-complex-programmable-logic-devices-book-30129kc.php