Effective simulation and debugging for a high-level hardware language using software compilers.

Clment Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala

Browse the full ASPLOS paper archive.