Abstract: A computer-implemented method, system, and computer program product for applying scalable formal coverage analysis to a testbench. A set of properties proven unhittable in an original testbench is selected to be considered for coverage analysis. A gate (e.g., latch) of a device under test is selected and mutated, where the mutation includes utilizing a random value and where a mutation property for the set of selected properties proven unhittable is associated with the mutated gate of the device under test. It is then determined whether the mutation property is hittable or unhittable while the gate is mutated in order to determine whether the gate is covered by the selected properties. A gate is covered by the selected properties if the mutation property is hittable while the gate is mutated. Furthermore, a gate is uncovered by the selected properties if the mutation property is unhittable while the gate is mutated.

Abstract: An item sorting system is described. The item sorting system includes at least one bin that holds items to be sorted and a light source that illuminates the items stored in the at least one bin. In implementations, the at least one bin includes walls that direct light, received from the light source via a first surface, for emission via a second surface facing an interior of the at least one bin. The item sorting system further includes a recognition device that identifies the items for use in sorting the items. The item sorting system further includes an end effector that manipulates the items during sorting. In some implementations, the end effector includes tips that apply a gentle vacuum force to individually manipulate items in a manner that allows for efficient sorting without damaging the items.

Abstract: A packaging container is provided. The packaging container includes a body defining a volume. The body including a neck extending from an opening of the body. The neck including a proximal surface and a circumferential projection defining at least one gap. The neck further including at least one axial support disposed in the gap. A closure is engageable with the proximal surface, and a sleeve is conformable to an outer surface of the closure and the neck. In some embodiments, container systems and methods of manufacturing containers are disclosed.

Abstract: Embodiments of the present disclosure provide enhanced systems and methods for implementing enhanced retiming of multiple clock netlists to improve integrated circuit (IC) design quality and provide enhanced retiming with reduced retiming runtime. Disclosed embodiments provide effective and efficient retiming without sacrificing netlist quality, and yield significant speedup of retiming runtime over traditional retiming.

Abstract: Embodiments of the present disclosure provide enhanced systems and methods for implementing enhanced retiming of multiple clock netlists to improve integrated circuit (IC) design quality and provide enhanced retiming with reduced retiming runtime. Disclosed embodiments provide effective and efficient retiming without sacrificing netlist quality, and yield significant speedup of retiming runtime over traditional retiming.

Abstract: An item sorting system is described. The item sorting system includes at least one bin that holds items to be sorted and a light source that illuminates the items stored in the at least one bin. In implementations, the at least one bin includes walls that direct light, received from the light source via a first surface, for emission via a second surface facing an interior of the at least one bin. The item sorting system further includes a recognition device that identifies the items for use in sorting the items. The item sorting system further includes an end effector that manipulates the items during sorting. In some implementations, the end effector includes tips that apply a gentle vacuum force to individually manipulate items in a manner that allows for efficient sorting without damaging the items.

Abstract: A packaging container is provided. The packaging container includes a body defining a volume. The body including a neck extending from an opening of the body. The neck including a proximal surface and a circumferential projection defining at least one gap. The neck further including at least one axial support disposed in the gap. A closure is engageable with the proximal surface, and a sleeve is conformable to an outer surface of the closure and the neck. In some embodiments, container systems and methods of manufacturing containers are disclosed.

Abstract: A packaging container is provided. The packaging container includes a body defining a volume. The body including a neck extending from an opening of the body. The neck including a proximal surface and a circumferential projection defining at least one gap. The neck further including at least one axial support disposed in the gap. A closure is engageable with the proximal surface, and a sleeve is conformable to an outer surface of the closure and the neck. In some embodiments, container systems and methods of manufacturing containers are disclosed.

Abstract: An example system includes a processor to receive a high-level design representation of a system architecture. The processor can synthesize a logic design and generate an associated synthesis history based on the high-level hardware design representation. The processor can then execute an equivalence check between the high-level design and the synthesized logic design based on the generated synthesis history.

Abstract: An item sorting system is described. The item sorting system includes at least one bin that holds items to be sorted and a light source that illuminates the items stored in the at least one bin. In implementations, the at least one bin includes walls that direct light, received from the light source via a first surface, for emission via a second surface facing an interior of the at least one bin. The item sorting system further includes a recognition device that identifies the items for use in sorting the items. The item sorting system further includes an end effector that manipulates the items during sorting. In some implementations, the end effector includes tips that apply a gentle vacuum force to individually manipulate items in a manner that allows for efficient sorting without damaging the items.

Abstract: A method, a computer system, and a computer program product for detection of unintended dependencies between hardware design signals from pseudo-random number generator (PRNG) taps is provided. Embodiments of the present invention may include identifying one or more tap points in a design as an execution sequence. Embodiments of the present invention may include sampling the tap points by propagating the tap points in the design with different delays. Embodiments of the present invention may include defining observation points to identify tap collisions based on the tap points. Embodiments of the present invention may include identifying tap collisions. Embodiments of the present invention may include identifying one or more sources of the tap collisions in the design. Embodiments of the present invention may include eliminating the one or more sources of uninteresting tap collisions out of the tap collisions and filtering one or more of the tap collisions.

Abstract: A blow molded container is provided. The container includes a neck including a sealing surface and a neck finish. The sealing surface defines at least one vent. In some embodiments, methods of manufacturing containers are disclosed.

Abstract: A composite material is described, which is of particular use in wound treatment, and to a method for producing said composite material is also described. The composite material has a first foam layer having a first hydrophilic polyurethane foam material, and, in immediate contact therewith, a second foam layer having a second hydrophilic polyurethane foam material, which second hydrophilic foam material is different from the first hydrophilic foam material.

Abstract: The invention relates to a method for the transformation of host cells of a biofilm with heterologous nucleic acid, wherein the host cells are within the extracellular matrix of the biofilm, the method comprising: adding the heterologous nucleic acid to the biofilm; and applying inertial cavitation to the biofilm in the presence of the heterologous nucleic acid to facilitate transformation of host cells within the biofilm with the heterologous nucleic acid. The invention further relates to associated methods, uses and kits for transformation of host cells of a biofilm.

Abstract: The present invention relates to a hydrophilic foam material, which is of particular use in wound treatment, and to a method for producing said hydrophilic foam material. The hydrophilic foam material comprises nucleating particles, wherein at least 85% of all foam cells in said foam material have an average cell size of 0.01 mm 2 or less.

Abstract: A method, a computer system, and a computer program product for detection of unintended dependencies between hardware design signals from pseudo-random number generator (PRNG) taps is provided. Embodiments of the present invention may include identifying one or more tap points in a design as an execution sequence. Embodiments of the present invention may include sampling the tap points by propagating the tap points in the design with different delays. Embodiments of the present invention may include defining observation points to identify tap collisions based on the tap points. Embodiments of the present invention may include identifying tap collisions. Embodiments of the present invention may include identifying one or more sources of the tap collisions in the design. Embodiments of the present invention may include eliminating the one or more sources of uninteresting tap collisions out of the tap collisions and filtering one or more of the tap collisions.

Abstract: The present invention relates to a hydrophilic foam material, which is of particular use in wound treatment, and to a method for producing said hydrophilic foam material. The hydrophilic foam material has nucleating particles, wherein at least 85% of all foam cells in said foam material have an average cell size of 0.01 mm2 or less.

Abstract: Embodiments of the invention are directed to a computer-implemented method of logic verification. The method includes obtaining a netlist of a circuit comprising a plurality of observable gates. A first observable gate is grouped together with a second observable gate based on a portion of a fan-in logic of the first observable gate being equal to a portion of a fan-in logic of the second observable gate. The group is expanded by including a third observable gate, based on a first strongly connected component (SCC) in the group having a similarity greater than a first threshold to a second SCC in the fan-in logic of the third observable gate. The group is further expanded by including a fourth observable gate, based on the distance of a portion of the fan-in logic of the fourth observable gate from a fan-in logic of at least one observable gate in the group of observable gates.

Abstract: The present invention relates to a hydrophilic foam material, which is of particular use in wound treatment, and to a method for producing said hydrophilic foam material. The hydrophilic foam material has nucleating particles, wherein at least 85% of all foam cells in said foam material have an average cell size of 0.01 mm2 or less.

Abstract: A composite material is described, which is of particular use in wound treatment, and to a method for producing said composite material is also described. The composite material has a first foam layer having a first hydrophilic polyurethane foam material, and, in immediate contact therewith, a second foam layer having a second hydrophilic polyurethane foam material, which second hydrophilic foam material is different from the first hydrophilic foam material.