A Case for Accelerating Software RTL Simulation | AMiner