A computer system, computer program product, and method for solving a combinational logic verification problem with respect to two combinational circuits includes Boolean SAT checking integrated with binary decision diagrams (BDD) use. A fanout partition of a miter circuit formed from the two combinational circuits is reduced to BDD form, while the fanin partition is represented by SAT clauses. As SAT solutions are evaluated, variables in the cutset between the fanout and fanin partitions are as...

Disclosed is a combinational logic arrangement for use in a data processor that selectively performs a plurality of bit manipulations or logic operations including shift, rotate, and insert under mask. The arrangement is controlled by a single instruction format which specifies the parameters needed for each of the operations. The logic arrangement interprets a data word as a bit string with two boundary lines that divide the string into three regions: left region, quantum region and right regio...

A jumper wire is fixed on a groove of a jumper wire holder when the first end of the jumper wire passes through a first holding hole of the jumper wire holder and the second end passes through a second holding hole of the jumper wire holder. The two positioning pins at the ends of the jumper wire holder allow the jumper wire holder for being easily installed on the PCB. The reflowing welding is available to weld the jumper wire on the jumper wire holder with the circuit on the PCB. The connector...

A combinational weighing device is provided with a detection part detecting a measuring state on the basis of the quantity of a object introduced into each measuring hopper and a correction part operating a target dispersed weight defining the reference for control on a cross feeder by a supply control part. The correction part corrects the target dispersed weight in response to the measuring state of the combinational weighing device detected by the detection part. In other words, the correctio...

A high quality real-time Turbo-Mud processing system that chooses between a high complexity multi-user detectors that results in better estimates of the bit streams and computationally low linear-based-MUD/Turbo-MUD at each MUD window in each Turbo Iteration. In one embodiment this technique optimizes both the BER and the computational complexity of the receiver by using low complexity MUDs to reduce the number of symbols that the high complexity MUDs need to process. The present invention also ...

A combination bobber and chum dispenser for use in surface fishing comprising a containment member and an upper closure member secured to the containment member so as to create a lightweight hollow body designed to float adjacent the surface of the water and to be suitable for containing chum. A floatation member is disposed in the interior of the hollow body adjacent the closure member. The containment member contains a chum-receiving interior portion and has a chum distribution location involv...

The present invention discloses a combinational storable decoration structure that combines detachable components including a head portion, a shoulder portion, a body portion, a leg portion, and a hand portion into a decoration structure. The storing characteristic of the decoration structure allows users to store each detachable component into the body portion to form a cylindrical body so as to facilitate the storage and transportation of the decoration structure.

Aspects of the present invention are directed to converting non-oscillatory combinational loops into acyclic circuits. Combinational loops may be modeled as state-holding elements where non-oscillatory loops are broken using edge-sensitive latches. In addition to providing a way to model combinational loops originally consisting only of gates (i.e., without originally including any state-holding elements), loops that have paths through user latches may also be converted. The presented methodolog...

A combinational commodity engaging unit which can connect by engaging plates of a computer desk, a TV cabinet etc. in order to assemble the combinational commodity without using an auxiliary tool, the engaging unit includes at least: a fixing seat embedded in a first plate, a hollow engaging member embedded in a second plate and having its bottom portion engaged in the fixing seat, and a fixing rod extended into the interior of the hollow engaging member to maintain the hollow engaging member in...

A fast combinational charger includes a shell body, a circuit unit, and a combinational module. The shell body has a bearing seat at the outer side. The circuit unit is disposed in the shell body, and has a first connector. The combinational module includes a module shell body and a module circuit board. The module circuit board is disposed in the module shell body. The module circuit board has terminals protruding out of the module shell body. The combinational module can be placed on the beari...