Abstract: Methods and systems for evaluating checker quality of a verification environment are provided. In some embodiments, an overall sensitivity for the verification environment and an individual sensitivity for a respective checker are calculated. The overall sensitivity is a probability that a plurality of problematic design behaviors, which are propagated to a checker system including at least one checker, can be detected by the verification environment. The individual sensitivity is a probability that a plurality of problematic design behaviors, which are propagated to at least one specific probe among a plurality of probes of a design, can be detected by the checker corresponding to the specific probe. The overall checker sensitivity numbers can show the robustness of the check system. The individual checker sensitivity can guide the user which individual checker or checkers to improve.

Abstract: A method for avoiding unnecessary excessive stay of short cycle in discontinuous reception mechanism begins by using the short cycle while the short cycle timer is running. Then, it determines whether the inactivity timer expires or not and whether the short cycle timer expires or not. If the inactivity timer expires but the short cycle timer does not expire, the short cycle is used. If the short cycle timer expires but the inactivity timer does not expire, the long cycle is used. If the inactivity timer and the short cycle timer expire at the same time, either the short cycle or the long cycle is selected for use.

Abstract: A fastening mechanism for a package device is provided, which includes a plurality of first protrusions stagger-arranged in two rows at an edge of a lid of the package device, wherein a gap is formed between the two rows of the first protrusions; a second protrusion formed on an edge of a body of the package device and corresponding in position to the gap; at least a projection formed on the edge of the body and substantially opposed in position to the second protrusion; and at least a recess formed on the edge of the lid and corresponding in position to the projection of the body. By coupling the lid to the body, the second protrusion is engaged with the gap between the first protrusions, and the projection of the body is engaged with the recess of the lid, so as to provide strong fastening effect for the package device.

Abstract: An electromotive gear-shift control apparatus for bicycles, which is to be used in a bicycle provided with a gear-shift apparatus; the driving force for such apparatus is furnished with the power of pedals thereof; a motor is used for determining the input of the gear shift; the apparatus comprises a housing, a transmission mechanism, a switch mechanism, and an index mechanism; the housing is a fixed member fastened on the frame of a bicycle; the power source for gear shift is supplied by the driving force of the power shaft between two pedals of bicycle; the switch mechanism is mounted in the housing; the input power form the transmission mechanism is converted, by means of the motor, into a displacement output required by gear shift; the index mechanism is mounted behind the switch mechanism inside the housing, and it is used for converting the vector displacement form the switch mechanism into a step-function output, which is then transmitted, through a cable, into the gear-shift apparatus of the bicycle.

Abstract: A micro-adjustable belt structure including a belt head, a micro-adjusting strap, a micro-adjuster and a clip buckle. The micro-adjuster is formed with a dent in which a magnet is fixedly disposed. The clip buckle is also formed with a dent in which a magnetic member such as an iron plate is fixedly disposed corresponding to the magnet. The clip buckle is made of a non-magnetic material. The magnetic member is covered by a protective film for protecting the magnetic member from being rusted. The magnet and the magnetic member attract each other to attach the micro-adjuster and the clip buckle to each other.