Michel A. Kinsy Michael Pellauer Srinivas Devadas Heracles: a tool for fast RTL-based design space exploration of multicore processors. 125-134 2013 FPGA https://doi.org/10.1145/2435264.2435287 conf/fpga/2013 db/conf/fpga/fpga2013.html#KinsyPD13