Speed up an x86 SAME simulator using synthesizable SystemC timing models | IEEE Conference Publication | IEEE Xplore