The embedding of test patterns into a sequential circuit is the main topic of this paper. Deterministic test patterns for the sequential circuit under test are chosen to be embedded into hybrid cellular automata (CA). Test identification and C.A synthesis are performed in parallel thus overcoming results achieved by embedding pre-computed vectors. The theory of sequential test generation under ...

In this paper, we present EMPAR, an interactive synthesis environment for hardware emulations. EMPAR provides an open-ended design environment for the development of hardware emulators, which is capable of supporting: (1) a variety of EM architectures (2) a variety of EM synthesis algorithms, (3) interactive control by the user, and (4) design quality analysis. An X-window based graphical user ...

In this paper we describe, a powerful post-synthesis approach called reclocking, for performance improvement by minimizing the total execution time. By back annotating the wire delays of designs created by a high level synthesis system, and then finding an optimal clockwidth, we resynthesize the controller to improve performance without altering the datapath. Reclocking is versatile and can be ...

INTRODUCTION Nucleoside reverse transcriptase inhibitor (NRTI) is associated with endothelial dysfunction and proinflammatory effects. Maraviroc (MVC) is an antagonist of CCR5 receptor. CCR5 is the receptor of RANTES (Regulated on Activation, Normal T Cell Expressed and Secreted), a mediator of chronic inflammation and endothelial function. Our aim was to evaluate the maintenance of viral suppr...

BACKGROUND Knowledge about the harmful effects of high levels of low-density lipoprotein cholesterol (cLDL) in adults increased after the publication of various guidelines, leading to closer control and more treatment. We hypothesized that these health care changes would result in an overall improvement in the lipid profile of the population. OBJECTIVE To determine the evolution of the lipid ...

Objectives: To analyze the effect of differents anti-rheumatic treatments on carotid intima-medial thickness (cIMT) in patients with Rheumatoid Arthritis (RA). Methods: Controlled cross-sectional observational study a cohort RA. 146 RA (ACR/EULAR2010).cIMT was measured by semi-automatic ultrasound.Other variables: atheroma plaques, bilateral DAS28-VSG, lipid metabolism, apoB, apoA1, apoB/apoA1,...

Sir, Carbapenem resistance in Acinetobacter baumannii is now increasingly reported. The most prevalent mechanism of carbapenem resistance in A. baumannii corresponds to the production of acquired carbapenem-hydrolysing class D b-lactamases (CHDLs) encoded by blaOXA-23-like, blaOXA-40-like or blaOXA-58-like genes. Whereas the blaOXA-40 gene has been detected in Portugal, Spain and the USA, blaOX...

The genus Acinetobacter comprises several groups of closely related species, including the Acinetobacter calcoaceticus-Acinetobacter baumannii complex (1) and a number of hemolytic species (2). Currently, the A. calcoaceticus-A. baumannii complex comprises five validly named species, including A. calcoaceticus, A. baumannii, A. pittii, and A. nosocomialis (3); the recently named species A. seif...

node with a fresh abstract variable. However, the reachable state spaceis unnecessarily enlarged since states that are not within processor-like loops arealso generalized. As a trade-o , we propose a heuristic solution to this problem:After a certain number of state transitions (speci ed by the user), if the MDGsize of the frontier-set keeps increasing, the value of each state v...

In this paper we suggest to use the B formal method to model a protocol dedicated to smart cards. We use a pragmatic approach to prove the dynamic properties of the protocol by using historical variables to express the past. We check manually that those variables have been correctly updated in the different operations. With this approach we can avoid the use of a model checker to verify the dyn...