Kami: a platform for high-level parametric hardware specification and its modular verification

Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind. Kami: a platform for high-level parametric hardware specification and its modular verification. Proceedings of the ACM on Programming Languages, 1(ICFP), 2017. [doi]

No reviews for this publication, yet.