A Mechanized Semantic Metalanguage for High Level Synthesis.

William L. Harrison, Chris Hathhorn, Gerard Allwein

Browse the full PPDP paper archive.