Controlling a complete hardware synthesis toolchain with LARA aspects - Cardoso,JMP; Carvalho,T; Coutinho,JGF; Nobre,R; Nane,R; Diniz,PC; Petrov,Z; Luk,W; Bertels,K (MICROPROCESSORS AND MICROSYSTEMS, 2013)