A technical paper titled “Manticore: Hardware-Accelerated RTL Simulation with Static Bulk-Synchronous Parallelism” was published by researchers at EPFL, University of Tokyo, Sharif University, and ...