Formal techniques for hardware allocation | IEEE Conference Publication | IEEE Xplore