"Kami: a platform for high-level parametric hardware specification and its ..."

Joonwon Choi et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics