The present invention relates to an apparatus for determining a modification of a size of an object. Embodiments may include a method for generating assertions for verifying a design. One or more of the plurality of second channels may be superimposed or in fluid communication with the first channels to enable fluid to flow across the surface 12c and through the first channel to achieve the desired fluid flow characteristics.