A method for on demand functional verification of a software model of an application specific integrated circuit, in a low-level programming language, which separately handles the creation of the model and the debugging of the functional verification tests to be applied to the model in order to create a verification platform. A first threshold matrix is generated which, when utilized to halftone a solid gray input image, generates a first halftoned output image which is a plurality of generally solid vertical lines. A second loyalty account associated with the transaction account is created for the assistant. The process of the present invention makes it possible to obtain polyols with high functionality and controlled reactivity.