Abstract: The present invention relates to the use of misoprostol for the induction of labour in a pregnant female, and in particular to the use of a sustained delivery device or insert containing substantially 200 ?g misoprostol for intravaginal use. The use encompasses methods of therapy as well as compositions for use in such methods.

Abstract: A method of reducing the likelihood of infection requiring use of antibiotics during or after induction of labour in a female, comprises administering intravaginally to the female an insert comprising a cross-linked polyurethane reaction product of a polyethylene glycol, a triol and a diisocyanate, the insert containing 200 ?g misoprostol; the likelihood of infection being reduced in comparison to the administration of said insert containing 10 mg dinoprostone.

Abstract: The present invention relates to the use of misoprostol for the induction of labour in a pregnant female, and in particular to the use of a sustained delivery device or insert containing substantially 200 ?g misoprostol for intravaginal use. The use encompasses methods of therapy as well as compositions for use in such methods.

Abstract: A method for decreasing likelihood of cesarean section delivery in a female in need thereof, comprises administering, intravaginally, to said female, misoprostol.

Abstract: The invention generally relates to design verification, and more particularly to verification of non-deterministic behavior of a design under test. A method includes predicting a plurality of behaviors of a design under test (DUT), and forking respective verification tasks for each one of the plurality of behaviors. The method further includes verifying an actual behavior of the DUT with each of the verification tasks, and terminating a respective one of the verification tasks when the actual behavior of the DUT does not conform to the respective one of the verification tasks.

Abstract: A solution for generating functional coverage bins for testing a device is disclosed. A method includes: receiving information of a failing test generated from a random simulation performed on the device; tracing a first sequence of signal events that happened in the failing test; correlating the signal events to coverage bins to generate a sequence of coverage bins; creating cross coverage event sequence bins based on the sequence of coverage bins; and outputting the created coverage event sequence bins for testing the device.

Abstract: A solution for generating functional coverage bins for testing a device is disclosed. A method includes: receiving information of a failing test generated from a random simulation performed on the device; tracing a first sequence of signal events that happened in the failing test; correlating the signal events to coverage bins to generate a sequence of coverage bins; creating cross coverage event sequence bins based on the sequence of coverage bins; and outputting the created coverage event sequence bins for testing the device.

Abstract: The invention generally relates to design verification, and more particularly to verification of non-deterministic behavior of a design under test. A method includes predicting a plurality of behaviors of a design under test (DUT), and forking respective verification tasks for each one of the plurality of behaviors. The method further includes verifying an actual behavior of the DUT with each of the verification tasks, and terminating a respective one of the verification tasks when the actual behavior of the DUT does not conform to the respective one of the verification tasks.

Abstract: A method, apparatus, and computer program product for performing verification on an integrated circuit design having state variables. Random vectors are generated, used to simulate the design, and generate a set of values for the state variables. The generated values are compared to groups having stored values from previous stimulations and either a new group is created for the generated set of values or the existing groups accurately represent the generated set of values and they are stored in one of the existing groups.

Abstract: A method, apparatus, and computer program product for performing verification on an integrated circuit design having state variables. Random vectors are generated, used to simulate the design, and generate a set of values for the state variables. The generated values are compared to groups having stored values from previous stimulations and either a new group is crated for the generated set of values or the existing groups accurately represent the generated set of values and they are stored in one of the existing groups.

Abstract: Subarachnoid hemorrhage is treated by circulating a synthetic cerebrospinal fluid containing an emulsifying agent in the cerebrospinal fluid pathway in the vicinity of hemorrhage. The emulsifying agent scavenges blood products and circulation of the synthetic cerebrospinal fluid clears the blood products form the subarachnoid space to reduce cerebral vasospasm.