PADS
2005
ACM
13 years 10 months ago
2005
ACM
— In this paper, a new event scheduling mechanism XEQ and a new rollback procedure rb-messages are proposed for use in optimistic logic simulation. We incorporate both of these t...