Abstract: A cleaning process monitoring system, comprising: a cleaning container comprising an inlet for receiving a cleaning solution and an outlet for draining a waste solution; a particle detector coupled to the outlet and configured to measure a plurality of particle parameters associated with the waste solution so as to provide a real-time monitoring of the cleaning process; a pump coupled to the cleaning container and configured to provide suction force to draw solution through the cleaning system; a controller coupled to the pump and the particle detector and configured to receive the plurality of particle parameters from the particle detector and to provide control to the cleaning system; and a host computer coupled to the controller and configured to provide at least one control parameter to the controller.

Abstract: An LED module includes a module board. A boss coaxial with a central axis of the module board is provided on one side surface of the module board, and the boss is provided, in a direction of the central axis of the module board, with a through hole through which a central rod of an LED lamp fixture passes, a side wall of the boss is provided with a fastener hole to allow a fastener to be inserted into the fastener hole to abut against an outer wall of the central rod of the LED lamp fixture; and multiple screws are fixedly mounted on the other side surface of the module board and configured to be detachably connected to drip holes in a surface of the LED lamp fixture respectively. An LED lamp including the LED module is provided, which has a reduced cost.

Abstract: This application discloses an electronic design automation tool configured to perform one or more static reset checks on reset functionality in a circuit design. The electronic design automation tool can detect the reset functionality in the circuit design, identify a portion of the circuit design having a set of resettable components, and determine whether the portion of the circuit design includes a reset design error based, at least in part, on the reset functionality in the circuit design. The static reset checks can include a domain congruency check, a reset skew check, and a glitch detection check, each of which can identify different design errors that may cause reset functionality in the circuit design to operate improperly.

Abstract: This application discloses an electronic design automation tool configured to perform one or more static reset checks on reset functionality in a circuit design. The electronic design automation tool can detect the reset functionality in the circuit design, identify a portion of the circuit design having a set of resettable components, and determine whether the portion of the circuit design includes a reset design error based, at least in part, on the reset functionality in the circuit design. The static reset checks can include a domain congruency check, a reset skew check, and a glitch detection check, each of which can identify different design errors that may cause reset functionality in the circuit design to operate improperly.

Abstract: The amount of analysis performed in determining the validity of a property of a digital circuit is measured concurrent with performance of the analysis, and provided as an output when a true/false answer cannot be provided e.g. when stopped due to resource constraints. In some embodiments, a measure of value N indicates that a given property that is being checked will not be violated within a distance N from an initial state from which the analysis started. Therefore, in such embodiments, a measure of value N indicates that the analysis has implicitly or explicitly covered every possible excursion of length N from the initial state, and formally proved that no counter-example is possible within this length N.

Abstract: During verification of a description of a circuit containing a pre-determined assertion, in order to detect incorrect behavior of the circuit that may be caused by metastability occurring in signals that cross clock domains (“CDC” signals) in the circuit, the description of the circuit is automatically transformed by addition of circuitry to inject the effects of metastability into the CDC signals. The transformed description containing the circuitry to inject metastability is verified in the normal manner. Certain embodiments analyze the transformed description using a model checking method to determine a stimulus sequence that will cause the pre-determined assertion to be violated. The transformed circuit is then simulated in some embodiments, using the stimulus sequence from model checking, and an incorrect behavior of the circuit due to metastability is displayed, for diagnosis by the circuit designer. The circuit designer may revise the circuit description and iterate as noted above.

Abstract: A programmed computer searches for functional defects in a description of a circuit undergoing functional verification in the following manner. The programmed computer simulates the functional behavior of the circuit in response to a test vector, automatically restores the state of the simulation without causing the simulation to pass through a reset state, and then simulates the functional behavior of the circuit in response to another test vector. A predetermined rule can be used to identify test vectors to be simulated, and the predetermined rule can depend upon a measure of functional verification, including the number of times during simulation when a first state transition is performed by a first-controller at the same time as a second state transition is performed by a second controller. During simulation of the test vectors, manually generated tests or automatically generated checkers can monitor portions of the circuit for defective behavior.

Abstract: The amount of analysis performed in determining the validity of a property of a digital circuit is measured concurrent with performance of the analysis, and provided as an output when a true/false answer cannot be provided e.g. when stopped due to resource constraints. In some embodiments, a measure of value N indicates that a given property that is being checked will not be violated within a distance N from an initial state from which the analysis started. Therefore, in such embodiments, a measure of value N indicates that the analysis has implicitly or explicitly covered every possible excursion of length N from the initial state, and formally proved that no counter-example is possible within this length N.

Abstract: An image capture device is provided, a portion of which is insertable into an expansion slot of a handheld PC or PDA device, which is configured like a camera familiar to the user. In one embodiment, the image capture device includes a lens unit that is rotatable over about 180 ° degrees. The image capture device additionally includes an optical viewfinder rotatable with the lens unit. The image capture device advantageously includes an indicator visible from either side of the image capture device regardless of the lens position.

Abstract: An image capture device is provided, a portion of which is insertable into an expansion slot of a handheld PC or PDA device, which is configured like a camera familiar to the user. In one embodiment, the image capture device includes a lens unit that is rotatable over about 180 ° degrees. The image capture device additionally includes an optical viewfinder rotatable with the lens unit. The image capture device advantageously includes an indicator visible from either side of the image capture device regardless of the lens position.

Abstract: An image capture device is provided which includes a movable and rotatable lens barrel for changing the taking lens focus in close focus and far focus situations. Additionally, rotation of the lens barrel adjusts the exposure aperture to create different aperture sizes for close focus, infinity focus and flash image captures. Further, in one particular embodiment using an internal display, a diopter adjustment mechanism is provided. A diopter adjustment cam wheel includes a flange of progressively increasing height in contact with a pin on the housing of a display lens. An image on the display is reflected through the display lens to the viewfinder ocular lens. Rotating the cam wheel adjusts the height of the display lens to accommodate the focus for imperfect vision.

Abstract: An apparatus for alternating between two field frames in a camera viewfinder. The mask has a foldable mask with an aperture, with the mask being movable between two positions. In the first position, the mask is unfolded and interposed in the light-path of the viewfinder, thereby framing the viewfinder image in the shape of the aperture. In the second position, the mask is folded and stored compactly alongside the viewfinder, thereby not interfering with the image in the viewfinder.