Laila Damri

  • Citations Per Year
Learn More
OBJECTIVE To compare the frequencies of aneuploidy for chromosomes X, Y and 18 in spermatozoa of infertile and fertile males, using 3-color fluorescence in situ hybridization. METHODS Twelve infertile patients who underwent intracytoplasmic sperm injection treatment at Queen's Medical Centre, Nottingham were studied. Three fertile men served as controls.(More)
Research areas. The VDS group is mainly concerned by the formal and semi-formal verification of hardware correctness, from the early specification levels (ESL, "electronic system level") to the "register transfer" level (RTL). The group also works, in cooperation with the ARIS group, on the application of formal methods to robustness analysis. Three main(More)
Assertion-Based Verification (ABV) aims at guaranteeing that designs obey properties, usually expressed under the form of logic and temporal formulae. In dynamic ABV, those properties are checked at runtime (e.g., during simulation). In the context of simulation-based verification, the significance of the selected test sequences is well known. Moreover, if(More)
  • 1