subsection about embedded hardware DSLs