![](/img/cover-not-exists.png)
Kami: a platform for high-level parametric hardware specification and its modular verification
Choi, Joonwon, Vijayaraghavan, Muralidaran, Sherman, Benjamin, Chlipala, Adam, Arvind,Volume:
1
Language:
english
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3110268
Date:
August, 2017
File:
PDF, 425 KB
english, 2017