Manticore: Hardware-Accelerated RTL Simulation with Static Bulk-Synchronous Parallelism.

Mahyar Emami, Sahand Kashani, Keisuke Kamahori, Mohammad Sepehr Pourghannad, Ritik Raj, James R. Larus

Browse the full ASPLOS paper archive.