Python based framework for HDSLs with an underlying formal semantics: (Invited paper).

Keerthikumara Devarajegowda, Johannes Schreiner, Rainer Findenig, Wolfgang Ecker

Browse the full ICCAD paper archive.