Abstract: One embodiment of the present invention provides a system that formally proves the functional equivalence of pipelined designs. First, the system receives a specification for a first pipelined design, which includes a first memory system, and a specification for a second pipelined design, which includes a second memory system. Next, the system determines a correspondence between operations on the first memory system and corresponding operations on the second memory system. This correspondence enables memory operations to be represented in a combinational form based on design inputs, thereby allowing both memory systems to be logically abstracted out of their respective designs. After the memory systems have been abstracted out, the system compares the combinational outputs of the first pipelined design and the combinational outputs of the second pipelined design to verify that the designs are functionally equivalent.

Abstract: One embodiment of the present invention provides a system that formally proves the functional equivalence of pipelined designs. First, the system receives a specification for a first pipelined design, which includes a first memory system, and a specification for a second pipelined design, which includes a second memory system. Next, the system determines a correspondence between operations on the first memory system and corresponding operations on the second memory system. This correspondence enables memory operations to be represented in a combinational form based on design inputs, thereby allowing both memory systems to be logically abstracted out of their respective designs. After the memory systems have been abstracted out, the system compares the combinational outputs of the first pipelined design and the combinational outputs of the second pipelined design to verify that the designs are functionally equivalent.

Abstract: One embodiment of the present invention provides a system that formally proves the functional equivalence of pipelined designs. First, the system receives a specification for a first pipelined design, which includes a first memory system, and a specification for a second pipelined design, which includes a second memory system. Next, the system determines a correspondence between operations on the first memory system and corresponding operations on the second memory system. This correspondence enables memory operations to be represented in a combinational form based on design inputs, thereby allowing both memory systems to be logically abstracted out of their respective designs. After the memory systems have been abstracted out, the system compares the combinational outputs of the first pipelined design and the combinational outputs of the second pipelined design to verify that the designs are functionally equivalent.

Abstract: One embodiment of the present invention provides a system that formally proves the functional equivalence of pipelined designs. First, the system receives a specification for a first pipelined design, which includes a first memory system, and a specification for a second pipelined design, which includes a second memory system. Next, the system determines a correspondence between operations on the first memory system and corresponding operations on the second memory system. This correspondence enables memory operations to be represented in a combinational form based on design inputs, thereby allowing both memory systems to be logically abstracted out of their respective designs. After the memory systems have been abstracted out, the system compares the combinational outputs of the first pipelined design and the combinational outputs of the second pipelined design to verify that the designs are functionally equivalent.

Abstract: An apparatus is provided for forming field coils on a stator stack including a plurality of slots defined by stator teeth. The apparatus includes a stator nest for holding a stator stack and a winding tool extending through the stator nest for locating wire in the stator stack. The winding tool includes a wire feed aperture for feeding wire into slots of the stator stack. A drifting tool is supported on the winding tool and includes radially extending drift blades for extending into the slots of the stator stack for forming or shaping wire coils that are wound on the stator teeth by the winding tool. Longitudinal movement of the winding tool causes the drifting tool to move into and out of engagement with the stator stack.

Abstract: An apparatus for winding the stator for a dynamoelectric machine is provided. The apparatus includes a stator nest located on a mounting member, the stator nest including a front side for receiving a stator and a back side located opposite from the front side. The stator nest defines a horizontal longitudinal axis and includes a collet located at the front side for engaging and gripping the outer surface of a stator positioned within the collet. A collet actuator is located on a side of the mounting member opposite from the front side, and the collet actuator actuates the collet to engage with and disengage from the stator. A winding tool extends through the stator nest from the back side toward the front side. A reciprocating driver is connected to the winding tool for driving the winding tool in reciprocating movement relative to the stator nest. An oscillating driver connected to the winding tool drives the winding tool in oscillating movement.

Abstract: A winding machine for winding wire on a stator stack for a dynamo-electric machine including a wire supply, a stripper station for selectively stripping wire at predetermined locations, a wire feed mechanism and winding station including a winding spindle movable in reciprocating and oscillating movement. The feed mechanism is capable of conveying plural wires to the winding spindle including three pairs of wires to respective exit apertures on the winding spindle. The winding station includes twisting assemblies, where a twisting assembly is provided for each pair of wires for twisting the pair of wires together and for gripping and manipulating the wires during a winding operation.

Abstract: An apparatus for winding the stator for a dynamoelectric machine is provided. The apparatus includes a stator nest located on a support base for holding a stator. The stator nest defines a horizontal longitudinal axis and includes a front side for receiving a stator and an opposite back side, and a winding tool extends through the stator nest from the back side toward the front side. The winding tool includes a hollow tubular member for guiding wire to a stator located in the stator nest, and a reciprocating driver is connected to the winding tool for driving the winding tool in reciprocating movement relative to the stator nest. An oscillating driver connected to the winding tool drives the winding tool in oscillating movement. A wire feeder for feeding wire through the winding tool is supported adjacent the oscillating driver and is supported for reciprocating movement with the winding tool.

Abstract: A futon frame is convertible between a bed position and a sitting position and includes a back portion and a seat portion. The back portion is oriented generally upright when the frame is in the sitting position and is oriented horizontally when the frame is in the bed position. The seat portion is hingedly attached to the back portion to permit relative movement of the back portion with respect to the seat portion. A connector releasably connects the back portion and seat portion to cause the back portion to move on movement of the seat portion in a first direction about a pivot point. A support supports the back portion with respect to a supporting surface and the back portion includes a pair of opposed outer edges.