Fahim Rahim

Learn 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)
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)
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)
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)
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)
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)
The topic of this thesis are methods for power reduction in digital circuits by reducing average switching on the transistor level. These methods are structural in the sense that they are not related to tuning physical properties of the circuitry but to the internal structure of the implemented logic and therefore independent on the particular technology.(More)
  • 1