https://1library.net/document/zk3jm91y-review-source-error-detection-level-synthesis-functional-verification.html