Fahim Rahim

Learn More
Endothelial cell dysfunction (ECD) has been demonstrated in patients with end-stage renal disease (ESRD) who have cardiovascular disease (CD) or diabetes mellitus (DM). While techniques to examine conduit arteries have been adapted to these patients, evaluation of microvascular function has lagged behind. Therefore, we used laser Doppler flowmetry (LDF) and(More)
Oxalate nephropathy is a rare condition characterized by extensive calcium oxalate deposition in the renal tubules, resulting in kidney injury. There are primary forms of the disease that arise from genetic mutation causing overproduction of oxalate. More commonly, this condition is seen as a secondary phenomenon. The clinical presentation is nonspecific,(More)
—In this paper we propose and implement a methodology for power reduction in digital circuits, closing the gap between conceptual (by designer) and local (by EDA) clock gating. We introduce a new class of coarse grained local clock gating conditions and develop a method for detecting such conditions and formally proving their correctness. The detection of(More)
Thèse dirigée par Oded Maler et codirigée par Fahim Rahim préparée au sein Verimag et de EDMSTII Acknowledgement The years I spent in Grenoble working on this thesis were enriching both professionally and personally. I would like to thank my supervisor Oded Maler for his guidance and support. He was always there to provide counsel and always found time for(More)
We present a power optimization methodology that provides a fast and accurate power model for programmable architectures. The approach is based on a new tool that estimates power consumption from a register transfer level (RTL) module description, activity files and technology library. It efficiently provides an instruction-level accurate power model and(More)
We propose a novel semi-automatic methodology to formally verify clock-domain synchronization protocols in industrial-scale hardware designs. Establishing the functional correctness of all clock-domain crossings (CDCs) is crucial in every system-on-chip (SoC) assembly flow. While other semi-automatic approaches require non-trivial manual deductive(More)
Patients with central venous occlusion who are ''tunneled catheter dependent'' are a challenge for hemodialysis access. A relatively new option for them is the hemodialysis reliable outflow (HeRO) device that can be totally implanted subcutaneously. However, patients still require a tunneled hemodialysis catheter that is used until the HeRO device is(More)
The Hemodialysis Reliable Outflow (HeRO) device is a novel alternative for dialysis access in patients with no suitable veins in the upper extremities. We placed a HeRO device in a 67-year-old woman with end-stage renal disease and 2 months later, it was being used for hemodialysis. After 1 month of uneventful use, the device thrombosed and it was rescued(More)
  • 1