https://123dok.net/document/yng7r2w1-formal-verification-systemc-designs-blast-software-model-checker.html