Towards a tool for derivation of implementation constraints | IEEE Conference Publication | IEEE Xplore