13.15.12.1.2 Slices

For slices, name = instanceName_driverpinName_sliceRange; for example u0_out1_4to6.