Micro-scale 2D chiplet position control: a formal approach to policy design | IEEE Conference Publication | IEEE Xplore