A method of simplifying a logic circuit for enabling cycle-by-cycle equivalence checking is provided. The adhesive is especially useful in bonding windshield glass into automotive frames under a variety of environmental conditions, particularly in after market windshield replacement applications. Methods provided by the invention can be practiced using the systems described herein or with other systems.