https://123dok.org/document/myj5ewkq-reuse-rtl-assertions-systemc-tlm-verification.html