D. Hachtel, GarySomenzi, Fabio2019-08-022024-04-262019-08-022024-04-2620020-306-47592-8https://drs.ess.gov.et/handle/12345678/77647enLogic Synthesis and Verification AlgorithmsBook