18 research outputs found

    Technology Independent Power Analysis and Modeling

    No full text

    Optimizing designs containing black boxes

    No full text

    Logic Minimization for Low Power

    No full text

    LEOPARD: A Logical Effort-based Fanout OPtimizer for ARea and Delay

    No full text
    We present LEOPARD, a fanout optimization algorithm based on the effort delay model for near-continuous size buffer libraries. Our algorithm minimizes area under required timing and input capacitance constraints by finding the tree topology and assigning different gains to each buffer to minimize the total buffer area. Experimental results show that the new algorithm achieves significant buffer area improvement compared to previous approaches. 1

    Impact of Gut Dysbiosis on Neurohormonal Pathways in Chronic Kidney Disease

    No full text
    Chronic kidney disease (CKD) is a worldwide major health problem. Traditional risk factors for CKD are hypertension, obesity, and diabetes mellitus. Recent studies have identified gut dysbiosis as a novel risk factor for the progression CKD and its complications. Dysbiosis can worsen systemic inflammation, which plays an important role in the progression of CKD and its complications such as cardiovascular diseases. In this review, we discuss the beneficial effects of the normal gut microbiota, and then elaborate on how alterations in the biochemical environment of the gastrointestinal tract in CKD can affect gut microbiota. External factors such as dietary restrictions, medications, and dialysis further promote dysbiosis. We discuss the impact of an altered gut microbiota on neuroendocrine pathways such as the hypothalamus⁻pituitary⁻adrenal axis, the production of neurotransmitters and neuroactive compounds, tryptophan metabolism, and the cholinergic anti-inflammatory pathway. Finally, therapeutic strategies including diet modification, intestinal alpha-glucosidase inhibitors, prebiotics, probiotics and synbiotics are reviewed

    Boolean Mapping based on Testing Techniques

    No full text
    A novel approach to the Boolean mapping problem is presented. It relies on a Boolean matching algorithm based on testing techniques. The matching is detected by checking the controllability and observabilityofsignals in the cell structure against the subject functions of the network. The method was implemented inside the SIS [Tou90] synthesis environment. The comparison with the SIS structural mapping shows that the Boolean mapping achieve better results in similar or smaller computing time
    corecore