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

<jats:p>It has become fairly standard in the programming-languages research world to verify functional programs in proof assistants using induction, algebraic simplification, and rewriting. In this paper, we introduce Kami, a Coq library that enables similar expressive and modular reasoning fo...

Descripción completa

Detalles Bibliográficos
Autores principales: Choi, Joonwon, Vijayaraghavan, Muralidaran, Sherman, Benjamin, Chlipala, Adam, Arvind
Otros Autores: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Formato: Artículo
Lenguaje:English
Publicado: Association for Computing Machinery (ACM) 2021
Acceso en línea:https://hdl.handle.net/1721.1/134865