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

Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary

Browse the full PEPM paper archive.