Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability (2008)

by Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O’Leary
Venue:In Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, PEPM ’08