Connectivity and Spacing Checking with Fine Grained Machines