Abstract: A system that determines the timing of an integrated circuit (IC) design is presented. During operation, the system receives a netlist for the IC design, wherein the netlist specifies the placement of cells within the IC design. Next, the system estimates capacitances for cells within the IC design based on analytic models of the cells. The system then estimates the post-physical-optimization timing of the IC design based on the netlist, the capacitances, and the analytic models, wherein the post-physical-optimization timing is estimated without performing physical optimization.

Abstract: A food processing device, e.g. a salad spinner, has a housing with a lid, a basket supported in the housing for rotation, and a drive mechanism supported by the lid for rotating the basket to spin water from salad in the housing. The drive mechanism has a crank handle and a drive transmission system coupling the handle to the basket to transmit a rotational driving force from the handle to rotate the basket. The drive transmission system has a first rotary gear arranged to receive the rotational driving force from the handle and a second rotary gear in driving engagement with the first gear for receiving the rotational driving force from the first gear to rotate the basket. The first and second gears have corresponding serial formations, e.g., recesses and protrusions, of respective circular cross-sections that are inter-engageable, one in the other, for transmission of the driving force.

Abstract: A bowl and basket assembly (100, 200) is disclosed as including a perforated basket (104, 204) and a bowl (102, 202) for receiving said basket, the basket including a top body part (104a, 204a), a middle body part (104b, 204b) and a third body part (104c, 204c) connected with each other via a number of links (126, 205), in which the body parts are movable relative to one another between an expanded configuration in which the top body part (104a, 204a) sits on the middle body part (104b, 204b), and a collapsed configuration in which the middle body part (104b, 204b) is within the top body part (104a, 204a), and the third body part (104c, 204c) is within the middle body part (104b, 204b).

Abstract: A kitchen utensil is disclosed as including a body member, a switch member, and a suction member, wherein when said suction member rests on a support surface, said switch member is swivellable relative to said body member and said suction member between a first position in which the space between said suction member and said support surface is of a first volume and a second position in which at least part of said suction member is moved away from said surface whereby the space between said suction member and said support surface is of a second volume which is larger than said first volume to releasably secure said utensil to said support surface.

Abstract: A dispenser for flowable material includes a cylinder, a piston in and slidable along the cylinder for pressing and thus dispensing flowable material contained in the cylinder, and a shaft extending into the cylinder for sliding the piston. The shaft incorporates a thumb piece for engagement by the thumb of a user to drive the shaft in a forward direction into the cylinder for sliding the piston to dispense flowable material. The thumb piece is slidable along the shaft. A unidirectional clutch between the thumb piece and the shaft is operable in the forward direction to fix the thumb piece to the shaft such that the shaft may be driven forward by the thumb piece and is inoperable in an opposite, rearward, direction to release the thumb piece from the shaft such that the thumb piece can slide rearward along the shaft for operation at another position.

Abstract: A food processing device has a housing with a lid, a rotatable attachment (e.g., a basket or beater) in the housing and a drive mechanism in the lid for rotating the attachment to process food in the housing. The drive mechanism has a manual actuator and a gear train for transmitting a driving force from the actuator to rotate the attachment. The actuator lies on an outer surface of the lid and is movable along the lid surface in opposite directions between two positions to rotate the attachment in a single direction. A ratchet assembly in driving engagement with the gear train transmits a rotational drive in only a single direction. A braking mechanism for braking the attachment, includes a manual operator and two braking shoes for movement by the operator to brake the attachment by friction.

Abstract: A food cutting device has a bowl, two cutting blades supported in the bowl for rotation relative to each other, and a drive mechanism supported by the bowl for rotating the cutting blades to cut food in the bowl. The cutting blades are rotatable in opposite directions relative to each other to perform a scissors-like cutting action.

Abstract: A cutter includes radial cutting blades connected by a hinge about which the blades may be rotated between collapsed and extended positions. A rotary body and rotary cap form a handle which holds the inner ends of the blades. The members are mounted for rotation about the hinge axis relative to free blades. Circumferentially spaced stop faces on the body are spaced apart in the axial direction. Circumferentially spaced abutment faces on the cap are spaced apart in the radial direction. The abutment-engaging faces of adjacent free blades are correspondingly spaced apart in the radial direction. To extend the blades, the cap is rotated relative to the body, with the cap and body holding the portions of each free blade between a respective stop face and abutment face for locating the free blades in the extended positions.

Abstract: A holding device is presented in which a layer which is to be oxidized is processed, in a single-substrate process. The process temperature during the processing is recorded directly at the substrate or at a holding device for the substrate. The process includes introducing a substrate, which bears a layer to be oxidized uncovered in an edge region in a layer stack, into a heating device, passing an oxidation gas onto the substrate, heating the substrate to a process temperature, which is recorded during the processing via a temperature of the holding device which holds the substrate, and controlling the substrate temperature to a desired temperature or temperature curve during the processing.

Abstract: A food grater (10) is disclosed as including a first arm (12) and a second arm (14), the first arm (12) including a grating plate (18), the second arm (14) including a wall (23) and a press plate (36) for confining movement of food, and the first arm (12) and second arm (14) are engaged with each other and pivotable relative to each other to grate the food by the grating plate (18).

Abstract: A food cutting device for cutting food items into smaller pieces, comprises a receptacle having an entrance though which food items can he introduced into the receptacle and an exit though which smaller pieces of the food items can be dispensed from the receptacle, a rotary cutter in the receptacle for cutting the food items into the smaller pieces, and a handle connected with the receptacle, for holding and carrying the food cutting device with only one hand of a user. A driving mechanism is located between the cutter and the handle for manual operation by the user to operate the cutter, including an operating member that is located at or adjacent to the handle for movement and operation by the hand holding and carrying the food cutting device.

Abstract: A method is provided for probing the effective hydrodynamic flow of a liquid at various positions within a dissolution testing apparatus. The method includes embodiments of an appropriate electrode probe, and methods of generating a signature pattern from the sampled current that may be used to characterise the hydrodynamic flow of the liquid in the apparatus. The signature pattern may be used to validate and qualify the performance of the dissolution apparatus, diagnose problems with dissolution apparatus, predict the initial dissolution rate of a drug, or determine the local flow rate around specific parts of a drug.

Abstract: A method is presented in which a layer which is to be oxidized is processed, in a single-substrate process. The process temperature during the processing is recorded directly at the substrate or at a holding device for the substrate. The method includes introducing a substrate, which bears a layer to be oxidized uncovered in an edge region in a layer stack, into a heating device, passing an oxidation gas onto the substrate, heating the substrate to a process temperature, which is recorded during the processing via a temperature of a holding device which holds the substrate, and controlling the substrate temperature to a desired temperature or temperature curve during the processing.

Abstract: A bowl and basket assembly kit is disclosed as including an upper basket part (202), a middle basket part (204) and a lower basket part (206) linked with one another and engageable with one another in a way to form a perforated basket (200), an upper bowl part (102), a middle bowl part (104) and a lower bowl part (106) releasably engageable with one another to form a bowl (100) for receiving the perforated basket (200), and an upper locking ring (110) and a lower locking ring (112) which are swivellable about a longitudinal axis (L-L) of the bowl (100), wherein when the upper bowl part (102), middle bowl part (104) and lower bowl part (106) are engaged with one another, each of the locking rings (110, 112) is swivellable between a respective first position in which relative movement between the bowl parts (102, 104, 106) is allowed and a respective second position in which relative movement between the bowl parts (102, 104, 106) is prevented.

Abstract: A jar opener comprises a pair of handles, a pivot connecting the handles for pivotal movement, and a head section having a pair of jaws extending from the pivot opposite the handles and pivotable by the handles to close for gripping a lid of a jar and to open to release the lid. The jaws have a pair of inner gripping portions adjacent the pivot for gripping a lid of a relatively larger diameter, and a pair of outer gripping portions adjacent the inner gripping portions and further from the pivot than the inner gripping portion for gripping a smaller lid or bottle cap.

Abstract: A kitchen utensil is disclosed as including a body member, a switch member, and a suction member, wherein when said suction member rests on a support surface, said switch member is swivellable relative to said body member and said suction member between a first position in which the space between said suction member and said support surface is of a first volume and a second position in which at least part of said suction member is moved away from said surface whereby the space between said suction member and said support surface is of a second volume which is larger than said first volume to releasably secure said utensil to said support surface.

Abstract: A dispenser for flowable material includes a cylinder, a piston in and slidable along the cylinder for pressing and thus dispensing flowable material contained in the cylinder, and a shaft extending into the cylinder for sliding the piston. The shaft incorporates a thumb piece for engagement by the thumb of a user to drive the shaft in a forward direction into the cylinder for sliding the piston to dispense flowable material. The thumb piece is slidable along the shaft. A unidirectional clutch between the thumb piece and the shaft is operable in the forward direction to fix the thumb piece to the shaft such that the shaft may be driven forward by the thumb piece and is inoperable in an opposite, rearward, direction to release the thumb piece from the shaft such that the thumb piece can slide rearward along the shaft for operation at another position.

Abstract: A food cutting device has a bowl, two cutting blades supported in the bowl for rotation relative to each other, and a drive mechanism supported by the bowl for rotating the cutting blades to cut food in the bowl. The cutting blades are rotatable in opposite directions relative to each other to perform a scissors-like cutting action.

Abstract: A bowl and basket assembly (100, 200) is disclosed as including a perforated basket (104, 204) and a bowl (102, 202) for receiving said basket, the basket including a top body part (104a, 204a), a middle body part (104b, 204b) and a third body part (104c, 204c) connected with each other via a number of links (126, 205), in which the body parts are movable relative to one another between an expanded configuration in which the top body part (104a, 204a) sits on the middle body part (104b, 204b), and a collapsed configuration in which the middle body part (104b, 204b) is within the top body part (104a, 204a), and the third body part (104c, 204c) is within the middle body part (104b, 204b).

Abstract: One embodiment of the present invention provides a system that refines an abstract model. Note that abstraction refinement is commonly used in formal property verification. During operation, the system receives an abstract model which is a subset of a logic design which can be represented using a set of variables and a set of Boolean functions. Next, the system receives a safety property for the logic design which is desired to be proven. The system also receives a set of counter-examples. A counter-example is a sequence of states that violates the safety property. Note that a state is an assignment of values to the variables, which are determined using the set of Boolean functions and the variable values in the previous state. The system then determines a set of cooperative variables using the set of counter-examples. A cooperative variable is a variable that can help invalidate all counter-examples. The system then refines the abstract model using the set of cooperative variables.