Abstract: Systems and methods are provided for taking the inventory of liquids dispensed in full and partially filled containers. An electronic device captures images of containers and associated liquid volumes. The containers are identified by a shape, label, universal purchasing code, or other identifying means using a graphical user interface input/output. An image of the container is displayed and a border around the container is provided to create a duplicate thereof as well as the total volume. Pixel imaging of the container and contents (including meniscus detection) is achieved through detecting connected pixels. A volume of liquid remaining in the container is determined as a function of the connected pixels and an inventory including amounts of particular liquids is provided by utilizing convolutional neural networks. The system and methods allow accurate liquid inventory while limiting human input to operating the electronic device to capture the initial image of the container.

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: 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 crowbar includes a lower portion, a middle portion, and an upper portion. The lower portion has a tip portion with a bearing surface. The middle portion is an offset portion. The upper portion has a plum line surface, which is disposed at an angle of about 90 degrees to the tip portion/bearing surface. The crowbar is useful in removing material from poorly accessible regions such as ceilings or floor - wall corners. For example, the crowbar can readily remove baseboards of partition walls, and wood lath from ceiling beams and is useful in lifting heavy objects and the like.