IP-XACT and marte based approach for partially reconfigurable systems-on-chip | IEEE Conference Publication | IEEE Xplore