Abstract: A simple analytical method for determining antioxidant level in food product and body fluids such as urine is based on reduction of elemental iodine. The method adds an aqueous solution of iodine and an iodophor to the sample to be tested. Polyvinylpyrrolidone is a preferred iodophor. Antioxidant materials in the sample reduce the elemental iodine and the reaction is monitored by measuring either a decrease in iodine or an increase in iodide ion. A preferred method of practicing the invention is to measure the change in iodide ion with an ion selective electrode and an appropriate electronic meter. The method rapidly and inexpensively produces antioxidant measurements that are comparable to those produced by my more complex and cumbersome methods.

Abstract: A method and apparatus for critical and false path verification takes all the potential false paths and captures the conditions that would make them true paths (or false paths) as a Boolean expression (net list), for the combinational logic only. The net list does not have to be at the gate level, but can be a simplified gate level representation because the verification process is only concerned with the logical behavior, not the actual structure. This allows the simulation to execute more quickly. Since the conditions are only captured between register elements, it can be formally proved whether or not the path can be exercised. If no register value can activate the path, then the analysis is done. Otherwise, a simulation is performed to determine whether the register values required to active the condition actually occur. If the Boolean condition can be satisfied, the simulation is performed on the sequential logic to justify those values.