Methods, systems and assays are provided for FP detection of nucleic acid hybridization. The reset control signal is one of a plurality of input control signals to the clock control circuit. In such a method, for each of the procedural instructions operating on one or more variables, a hash table indexed by variable names is utilized to determine whether any of these variables participate in at least one of the declarative rules.