Thomas Heinz Reinhard Wilhelm Towards device emulation code generation. 109-118 2009 LCTES http://doi.acm.org/10.1145/1542452.1542467 conf/lctrts/2009 db/conf/lctrts/lctes2009.html#HeinzW09