Abstract: In a verification system, a dynamic logic evaluation system and method dynamically calculates the minimum evaluation time for each input. Thus, this system and method will remove the performance burden that a fixed and statically calculated evaluation time would introduce. By dynamically calculating different evaluation times based on the input, 99% of the inputs will not be delayed for the sake of 1% of the inputs that actually need the worst possible evaluation time. The dynamic logic evaluation system and method comprises a global control unit coupled to a propagation detector, where the propagation detector is placed in each FPGA chip. The propagation detector in the FPGA chip alerts the global control unit of any input data that is currently propagating within the FPGA chips. A master clock controls the operation of this dynamic evaluation system and method. As long as any input data is propagating, the global control unit will prevent the next input from being provided to the FPGA chips for evaluation.

Abstract: A spring-assist drive for a pedal-operated rider-propelled vehicle such as a bicycle which makes use of a wind-up coil spring mounted within the frame of the bicycle as auxiliary power. The spring is selectively wound by the rider operating the pedals to turn a spindle on which is mounted a sprocket wheel. A chain from the sprocket wheel drives a pivoting gear assembly comprising a ratcheting sprocket and attached drive gear. In a preferred embodiment, the tension on the chain will be adjustable by a chain tension adjustment mechanism. The drive gear releasably engages a power gear mounted on a common hub with the spring. A brake band and drum assembly holds the energy in the spring until the brake is released by the rider, whereupon the spring unwinds to drive a sprocket wheel mounted on the common hub, which sprocket wheel is connected to a sprocket wheel mounted on the spindle, turning the rear wheel drive sprocket wheel and the rear wheel.