Abstract: The invention belongs to the field of medicine and chemical industry and relates to a 4,4-diphenylpiperidine compound or a pharmaceutically acceptable salt thereof, a pharmaceutical composition comprising the same and uses thereof. In particular, the invention relates to a compound of Formula I or a pharmaceutically acceptable salt thereof, and to a pharmaceutical composition comprising the compound or a pharmaceutically acceptable salt thereof. In the present invention, the compound or pharmaceutically acceptable salt thereof and the pharmaceutical composition have significant activity in blocking an N-type calcium channel, and have good pharmacokinetic properties, can effectively relieve pain, and have a potential as a new medicament for prevention or treatment of pain, stroke, cerebral ischemia, alcohol addiction, alcoholism, kidney disease, addictive disorder caused by analgesic or tolerance disorder caused by analgesic.

Abstract: The disclosure relates to a method, computer program product or data processing system for performing graph-based static timing analysis, GBA, of an integrated circuit design having a set of timing paths. The method comprises identifying a subset of the set of timing paths and performing path-based analysis, PBA, of the subset of timing paths to determine at least one PBA timing parameter for each timing path of the subset of timing paths. The method further comprises determining at least one optimized GBA timing parameter for at least one timing path of the subset of timing paths by minimizing a function that is based on a difference between the at least one optimized GBA timing parameter and the at least one PBA timing parameter of the at least one timing path.

Abstract: The disclosure relates to a method, computer program product or data processing system for performing graph-based static timing analysis, GBA, of an integrated circuit design having a set of timing paths. The method comprises identifying a subset of the set of timing paths and performing path-based analysis, PBA, of the subset of timing paths to determine at least one PBA timing parameter for each timing path of the subset of timing paths. The method further comprises determining at least one optimized GBA timing parameter for at least one timing path of the subset of timing paths by minimizing a function that is based on a difference between the at least one optimized GBA timing parameter and the at least one PBA timing parameter of the at least one timing path.

Abstract: The invention belongs to the field of medicine and chemical industry and relates to a 4,4-diphenylpiperidine compound or a pharmaceutically acceptable salt thereof, a pharmaceutical composition comprising the same and uses thereof. In particular, the invention relates to a compound of Formula I or a pharmaceutically acceptable salt thereof, and to a pharmaceutical composition comprising the compound or a pharmaceutically acceptable salt thereof. In the present invention, the compound or pharmaceutically acceptable salt thereof and the pharmaceutical composition have significant activity in blocking an N-type calcium channel, and have good pharmacokinetic properties, can effectively relieve pain, and have a potentialas a new medicament for prevention or treatment of pain, stroke, cerebral ischemia, alcohol addiction, alcoholism, kidney disease, addictive disorder caused by analgesic or tolerance disorder caused by analgesic.

Abstract: A computer implemented method for validating a clock tree includes estimating a first number of a multitude of first buffers disposed in the clock tree path, and selecting a first scaling coefficient in accordance with the first number. The computer implemented method further includes scaling a first delay associated with the multitude of first buffers in accordance with the selected first scaling coefficient, and generating a second multitude of second buffers disposed in the clock tree path defined by a second number greater than the first number.

Abstract: A computer implemented method for validating a clock tree includes estimating a first number of a multitude of first buffers disposed in the clock tree path, and selecting a first scaling coefficient in accordance with the first number. The computer implemented method further includes scaling a first delay associated with the multitude of first buffers in accordance with the selected first scaling coefficient, and generating a second multitude of second buffers disposed in the clock tree path defined by a second number greater than the first number.

Abstract: Polyethylene glycol modifications of thymosin alpha 1 (T&agr; 1-PEGs), their preparation process, the medicine composition containing them, and their application in the medicine for preventing and treating diseases related with immune deficiency and hypoimmunity, including hepatitis B, hepatitis C, hepatoma, malignant melanoma, non-small cell lung cancer, SARS, and AIDS etc.

Abstract: The present invention provides a selective M4 receptor antagonist, levorotatory demethylated phencynonate or its nontoxic pharmaceutically acceptable salt, a pharmaceutical composition comprising this compound, and a use thereof in the manufacture of a medicament for the treatment of motion dysfunction, such as, tremor, rigor and the like caused by Parkinson's disease (PD).

Abstract: Polyethylene glycol modifications of thymosin alpha 1 (T&agr; 1-PEGs), their preparation process, the medicine composition containing them, and their application in the medicine for preventing and treating diseases related with immune deficiency and hypoimmunity, including hepatitis B, hepatitis C, hepatoma, malignant melanoma, non-small cell lung cancer, SARS, and AIDS etc.