Branch trace compression for snapshot-based simulation | IEEE Conference Publication | IEEE Xplore