Controlling Hardware Synthesis with Aspects | IEEE Conference Publication | IEEE Xplore