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

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 17, 2021
Source ID
10.1145/3445814.3446720

Entities

People

  • Adam Chlipala
  • Arvind
  • ClĂ©ment Pit-Claudel
  • Stella Lau
  • Thomas Bourgeat

Organizations

  • Defense Advanced Research Projects Agency
  • Massachusetts Institute of Technology
  • National Science Foundation
  • Sandia National Laboratories