We have joined forces with OctoML.ai and MLCommons to develop the 2nd generation of the open-source CK technology!

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

lib:ac7324f0799bca8b (v1.0.0)

Authors: Clément Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala
Where published: ASPLOS'21
Artifact available:
Results reproduced:
Artifact DOI: Link
Unified artifact appendix and reproducibility checklist: Link

Relevant initiatives  

Reproduced results (crowd-benchmarking and competitions) Artifact and reproducibility checklists Common formats for research projects and shared artifacts Reproducibility initiatives


Please log in to add your comments!
If you notice any inapropriate content that should not be here, please report us as soon as possible and we will try to remove it within 48 hours!