Towards provably correct hardware/software partitioning using OCCAM | IEEE Conference Publication | IEEE Xplore