Search results with tag "High level parametric hardware specification and"

Kami: A Platform for High-Level Parametric Hardware ...

24 Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification JOONWON CHOI∗, MURALIDARAN VIJAYARAGHAVAN∗, BENJAMIN SHERMAN, ADAM CHLIPALA, and ARVIND, MIT CSAIL, USA It has become fairly standard in programming-languages research to verify functional programs in proof

  High, Hardware, Specification, Levels, Parametric, Akim, High level parametric hardware specification and