https://123dok.com/uae/docs/automated-design-error-debugging-of-digital-vlsi-circuits.10319289