https://123dok.net/document/y96ro3dd-formal-verification-of-hardware-synthesis.html