Loop nests parallelization for digital system synthesis. - Alexander Chemeris; Julia Gorunova; Dmiry Lazorenko (EWDTS, 2013)