ByNobleID
    Towards verifying determinism of SystemC designs | NobleID