Synopsys, Inc.

National Pingtung University of Science & Technology

National Yunlin University of Science and Technology

Yung-Chuan Chen

Wei-Hua Lu

Kuen-Yang Tsai

Chun-Yi Lo

Ting-Lung Chiang

A method is presented for responding to user input by displaying when a circuit has a property expressed by an assertion based on data indicating values of signals of the circuit at a succession of times. The assertion expresses the property as a first sequence of expressions, and separately defines for each expression a corresponding evaluation time relative to the succession of times at which the expression is to be evaluated. The circuit has the property only if every expression of the first sequence evaluates true at its corresponding evaluation time. The method includes displaying a representation of each expression of the first sequence and identifying each variable that caused that expression to evaluate false and distinctively marking that variable's symbol relative to other variable symbols within the display for each expression of the first sequence that evaluates false at its corresponding evaluation time.

Active trace assertion based verification system

A medical drill bit comprises an accommodating slot disposed concavely on a main body of the medical drill bit, a separate board disposed in the accommodating slot to separate the accommodating slot into a first slot and a second slot, and a lid engaging with the separate board and covering the accommodating slot. The lid and the separate board do not rotate with the main body when the main body in rotation. The accommodating uses to fill with cooling liquid which able to be pumped out from the accommodating slot, and fresh cooling liquid is able to inject into the accommodating slot for cooling the drill bit in rotation.

Medical drill bit

A computer processes simulation data indicating values of circuit signals as functions of simulation time to determine whether a circuit exhibits a property defined by an assertion. The assertion expresses the property as a sequence of expressions, each a function of one or more variables, where each variable represents a value of one or more signals or a value of another sequence of expressions. The assertion statement separately defines an evaluation time for each expression, a particular simulation time at which the expression is to be evaluated. Each expression must evaluate true if the circuit has the property. The computer produces a display including a representation of each expression of the property including a separate variable symbol for each of its variables. For each expression that evaluated false, the computer identifies each variable that caused that expression to evaluate false and distinctively marks that variable's symbol relative to other variable symbols within the display. For each expression that evaluated true, the computer identifies the evaluation time contributing the fulfillment of assertion property. The computer also annotates the representation of each expression with its corresponding evaluation time and annotates each displayed variable symbol with a value of the variable it represents.

A pressure bandage includes a banding porting, at least one infiltration and at least one fixing member. The banding portion includes at least one recession formed in one side of the banding portion, at least one tube having first and second ends, and at least one check valve mounted in the second end of the tube. The first end of the tube is connected to the recession. The infiltration is coupled on the inner surface of the recession of the banding portion. The fixing member fixes the banding portion to a treatment part.

Negative pressure bandage

A pressure bandage includes a banding portion having opposite first and second sides. A chamber is formed in the first side of the banding portion. The second side of the banding portion includes a hole in communication with the chamber. A bladder is received in the chamber and receives a fluid. The bladder includes an infiltratable surface permeable to the fluid. The infiltratable surface of the bladder and the first side of the banding portion face the same direction. The fluid received in the bladder is permeable out of the bladder via the infiltratable surface. A control member is engaged with the hole of the banding portion and imparts a pressure to the bladder. The hole can be a screw hole, and the control member includes a knob threadedly engaged with the screw hole such that the knob is rotatable to adjust the pressure imparted to the bladder.

Growing community of inventors

Kaohsiung, Taiwan

Yung-Chuan Chen