32 search results - page 7 / 7 » Non-cycle-accurate sequential equivalence checking |
86
Voted
ANSS
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper proposes a parallel cycle-accurate microarchitectural simulator which efficiently executes its workload by splitting the simulation process along time-axis into many in...
102
click to vote
POPL
2011
ACM
14 years 10 days ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...