A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Effects of the levonorgestrel-releasing intrauterine system on cardiovascular risk markers in patients with endometriosis: a comparative study with the GnRH analogue

Background: The study was conducted to evaluate the cardiovascular risk markers associated with endometriosis and the influence of the levonorgestrel intrauterine system (LNG-TUS) compared with the GnRH analogue (GnRHa) leuprolide acetate on these risk markers after 6 months of treatment. Study Design: This was a randomized, prospective, open clinical Study, with 44 patients with laparoscopically and histologically confirmed endometriosis. Patients were randomized into two groups: the LNG-IUS group, composed of 22 patients who underwent LNG-IUS insertion., and the GnRHa group, composed of 22 patients who received a monthly GnRHa injection for 6 months. Body mass index systolic and diastolic arterial blood pressure; heart rate; and laboratory cardiovascular risk markers such as interlelikin-6 (IL-6), tumor necrosis factor-alpha (TNF-alpha), C-reactive protein (CRP), homocysteine (HMC), lipid profile, total leukocytes and vascular cell adhesion molecule (VCAM) were measured before and 6 months after treatment. Results: After 6 months of treatment, a significant reduction in pain score occurred in both groups with no significant difference in improvement between the two medications evaluated. In the LNG-IUS group, from pretreatment to posttreatment period, there was a significant reduction in the levels (mean +/- SD) of VCAM (92.8 +/- 4.2 to 91.2 +/- 2.7 ng/mL, p=.04), CRP (0.38 +/- 0.30 to 0.28 +/- 0.21 mg/dL, p=.03), total cholesterol (247.0 +/- 85.0 to 180.0 +/- 31.0 mg/dL, p=.0002), triglycerides (118.0 +/- 76.0 to 86.5 +/- 41.5 mg/dL, p=.003), low-density lipoprotein cholesterol (160.5 +/- 66.0 to 114.5 +/- 25.5 mg/dL, p=.0005) and high-density lipoprotein cholesterol (63.0 +/- 20.5 to 48.5 +/- 10.5 mg/dL, p=.002). The GnRHa group showed an increase in HMC levels (11.5 +/- 2.9 to 13.0 +/- 2.7 mu mol/L, p=.04) and a reduction in IL-6 levels (4.3 +/- 3.9 to 2.3 +/- 0.8 pg/mL, p=.005), VCAM (94.0 +/- 3.8 to 92.0 +/- 1.6 ng/mL, p=.03) and total leukocytes (7330 +/- 2554 to 6350 +/- 1778, p=.01). In the GnRH group, the remaining variables, including lipid profile, did not show any statistical difference. Conclusions: This study shows that some cardiovascular risk markers are influenced by both GnRHa and the LNG-TUS, but the latter had a greater positive impact on the lipid profile, which could lead to a favorable effect during long-term treatment. (C) 2010 Elsevier Inc. All rights reserved.

Effect of the catalyst composition in the Pt-x(Ru-Ir)(1-x)/C system on the electro-oxidation of methanol in acid media

The effect of variations in the composition for ternary catalysts of the type Pt-x(Ru-Ir)(1-x)/C on the methanol oxidation reaction in acid media for x values of 0.25, 0.50 and 0.75 is reported. The catalysts were prepared by the sol-gel method and characterized by X-ray diffraction (XRD), transmission electron microscopy (TEM), atomic absorption spectroscopy (AAS) and energy dispersive X-ray (EDX) analyses. The nanometric character (2.8-3.2 nm) of the sol-gel deposits was demonstrated by XRD and TEM while EDX and AAS analyses showed that the metallic ratio in the compounds was very near to the expected one. Cyclic voltammograms for methanol oxidation revealed that the reaction onset occur at less positive potentials in all the ternary catalysts tested here when compared to a Pt-0.75-Ru-0.25/C (E-Tek) commercial composite. Steady-state polarization experiments (Tafel plots) showed that the Pt-0.25(Ru-Ir)(0.75)/C catalyst is the more active one for methanol oxidation as revealed by the shift of the reaction onset towards lower potentials. In addition, constant potential electrolyses suggest that the addition of Ru and Ir to Pt decreases the poisoning effect of the strongly adsorbed species generated during methanol oxidation. Consequently, the Pt-0.25 (Ru-Ir)(0.75)/C Composite catalyst is a very promising one for practical applications. (c) 2007 Elsevier B.V. All rights reserved.