Conquering the scheduling alternative explosion problem of SystemC symbolic simulation | IEEE Conference Publication | IEEE Xplore