Automated functional coverage driven verification with Universal Verification Methodology

Abstract. In this Master’s thesis, the validity of Universal Verification Methodology in digital design verification is studied. A brief look into the methodology’s history is taken, and its unique properties and object-oriented features are presented. Important coverage topics in project planning are discussed, and the two main types of coverage, code and functional coverage, are explained and the methods how they are captured are presented. The practical section of this thesis shows the implementation of a monitoring environment and an Universal Verification Methodology environment. The monitoring environment includes class-based components that are used to collect functional coverage from an existing SystemVerilog test bench. The Universal Verification Methodology environment uses the same monitoring system, but a different driving setup to stress the design under test. Coverage and simulation performance values are extracted and from all test benches and the data is compared. The results indicate that the Universal Verification Methodology environment incorporating constrained random stimulus is capable of faster simulation run times and better code coverage values. The simulation time measured was up to 26 % faster compared to a module-based environment.Automaattinen toiminnallisen kattavuuden ohjaama verifiointi universaalilla varmennusmenetelmällä. Tiivistelmä. Tässä diplomityössä tutkitaan universaalin varmennusmenetelmän (Universal Verification Methodology) soveltuvuutta digitaalisten laitteiden verifiointiin. Työssä tehdään lyhyt katsaus menetelmän historiaan. Lisäksi menetelmän omia ainutlaatuisia ja olio-pohjaisia ominaisuuksia käydään läpi. Kattavuuteen liittyviä käsitteitä esitetään projektihallinnan näkökulmasta. Kattavuudesta käsitellään toiminnallinen ja koodikattavuus, ja tavat, miten näitä molempia kerätään simulaatioista. Työn käytännön osuudessa esitetään monitorointiympäristön ja universaalin varmennusmenetelmän pohjalta tehdyn ympäristön toteutus. Monitorointi-ympäristössä on luokkapohjaisia komponentteja, joiden avulla kerätään toiminnallista kattavuutta jo olemassa olevasta testipenkistä. Universaalin varmennusmenetelmän pohjalta tehdyssä ympäristössä on samojen monitorointikomponenttien lisäksi testattavan kohteen ohjaamiseen vaadittavia komponentteja. Eri testipenkeistä kerätään kattavuuteen ja suorituskykyyn liittyvää dataa vertaamista varten. Tulokset viittaavat siihen, että rajoitettua satunnaista herätettä hyödykseen käyttävät universaalit varmennusmenetelmäympäristöt pääsevät nopeampiin suoritusaikoihin ja parempiin koodikattavuuslukuihin. Simulaation suoritusaikaan saatiin parhaassa tapauksessa jopa 26 % parannus

”Että sää opit niinkö aattelemaan, että me ollaan osa luontoa ja luonto on osa meitä”:lastentarhanopettajien näkemyksiä luontokasvatuksesta

Tiivistelmä. Tässä pro gradussa tutkitaan lastentarhanopettajien näkemyksiä luontokasvatuksesta. Aihetta on tutkittu hyvin vähän. Lastentarhanopettajien näkemysten tutkiminen on kuitenkin tärkeää, sillä heillä on pedagogiikan ammattilaisina suuri rooli lasten tukemisessa luontoa kunnioittaviksi yksilöiksi. Kasvatus on voima, jolla voidaan muuttaa ihmisten asenteita. Asenteiden muuttuminen olisi ensiarvoisen tärkeää, sillä se voi olla merkittävä ratkaisu vallitseviin ympäristöongelmiin sekä ilmastonmuutokseen. Tutkimuksen teoreettinen tausta rakentui empiirisestä aineistosta nousseiden näkemysten pohjalta. Tämän tutkimuksen teoreettisessa viitekehyksessä käsitellään ympäristökasvatuksen, kestävän kehityksen kasvatuksen sekä luontokasvatuksen käsitteitä. Tutkimus on luonteeltaan laadullinen ja siinä hyödynnetään aineiston analysoinnin tukena aineistolähtöistä sisällönanalyysiä. Tutkimusaineisto on hankittu teemahaastatteluilla kahdesta päiväkodista, joista toinen on yksityinen luontopainotteinen päiväkoti ja toinen kunnallinen päiväkoti ilman erityistä toiminta-ajatusta. Tutkimus pyrkii vastaamaan kysymyksiin siitä, millaisena lastentarhanopettajat näkevät luontokasvatuksen merkityksen lapselle ja kaikelle elämälle koko maapallolla sekä, millaisia näkemyksiä lastentarhanopettajilla on luontokasvatuksen pedagogisista lähtökohdista. Tutkimuksen keskeiseksi tulokseksi voidaan todeta, että lastentarhanopettajille luontokasvatus näyttäytyi merkityksellisenä osana pedagogiikkaa ja se painottui tavallisen arjen ympärille. Luonto nähtiin tärkeänä kehitys- ja kasvuympäristönä, johon luodaan suhde jo varhaislapsuudessa. Luontokasvatuksen merkitys näkyi sille asetettujen tavoitteiden ja toteutuneen toiminnan vaikutusten kautta. Luontokasvatukseen liittyvät arvot olivat yhteydessä sekä luontokasvatuksen merkitykseen että näkemykseen luontokasvatuksen pedagogisista lähtökohdista. Näkemys luontokasvatuksen pedagogisista lähtökohdista oli laaja-alainen ja niissä painottuivat asiantuntijuuden yhteys pedagogiikkaan, toimintatavat sekä näkemys luonnosta monipuolisena toimintaympäristönä. Tutkimuksemme antaa viitteitä siitä, että varhaiskasvatuksen kentällä ei ole selkeää yhtenäistä käsitettä ja ymmärrystä luontoon liittyvästä kasvatuksesta

Trunk fat and leg fat have independent and opposite associations with fasting and postload glucose levels: the Hoorn study

Trunk fat and leg fat have independent and opposite associations with fasting and postload glucose levels: the Hoorn study. Snijder MB, Dekker JM, Visser M, Bouter LM, Stehouwer CD, Yudkin JS, Heine RJ, Nijpels G, Seidell JC; Hoorn study. Institute for Research in Extramural Medicine, VU University Medical Center, Amsterdam, The Netherlands. [email protected] OBJECTIVE: Waist and hip circumferences have been shown to have independent and opposite associations with glucose levels. Waist circumference is positively associated with glucose levels, whereas hip circumference is negatively associated. It is unclear which tissues are involved in the pathophysiological mechanism causing these associations. The main goal was to determine which tissue in the trunk and legs, fat or lean tissue, is associated with measures of glucose metabolism. RESEARCH DESIGN AND METHODS: In 623 participants of the third examination of the Hoorn Study, whole-body dual-energy X-ray absorptiometry was performed to determine fat and lean soft-tissue mass in the trunk and legs. Fasting and 2-h postload glucose levels after 75-g oral glucose tolerance test (OGTT) were determined. After exclusion of known diabetic patients, cross-sectional analyses were performed in 275 men aged 60-87 years (140 with normal glucose metabolism, 92 with impaired glucose metabolism; and 43 with diabetes) and in 281 women (148 with normal glucose metabolism, 90 with impaired glucose metabolism, and 43 with diabetes). RESULTS: Greater trunk fat mass was associated with higher glucose levels after adjustment for age, trunk lean mass, leg lean mass, and leg fat mass. Standardized beta (95% CI) in men were 0.44 (0.25-0.64) for fasting and 0.41 (0.22-0.60) for postload glucose. For women, these values were 0.49 (0.35-0.63) and 0.47 (0.33-0.61), respectively. In contrast, in the same regression models, a larger leg fat mass was associated with lower glucose levels. Standardized beta in men were -0.24 (-0.43 to -0.05) and -0.12 (-0.31 to 0.07) and in women -0.24 (-0.37 to -0.10) and -0.27 (-0.40 to -0.13) for fasting and postload glucose, respectively. In these models, larger leg lean mass was also associated with lower glucose levels but was only statistically significant in men. CONCLUSIONS: If trunk fat is taken into account, accumulation of fat in the legs seems to be protective against a disturbed glucose metabolism, particularly in women. Further research is needed to unravel underlying pathophysiological mechanism

Association of liver enzymes with incident type 2 diabetes: A nested case control study in an Iranian population

<p>Abstract</p> <p>Background</p> <p>To investigate the association of Aspartate aminotransferase (AST), Alanin aminotranferase (ALT) and Gamma glutamyl transferase (GGT) with incident type 2 diabetes.</p> <p>Methods</p> <p>In a nested case-control study, AST, ALT, GGT as well as classic diabetes risk factors, insulin and C-reactive protein (CRP) were measured in 133 non-diabetic subjects at baseline of which 68 were cases and 65 were controls. Incident diabetes was defined by the WHO 1999 criteria. Conditional logistic regression was used to calculate the odds ratio (OR) of incident diabetes associated with different hepatic markers. We used factor analysis for clustering of classic diabetes risk factors.</p> <p>Results</p> <p>In Univariate analysis both ALT and GGT were associated with diabetes with ORs of 3.07(1.21–7.79) and 2.91(1.29–6.53) respectively. After adjustment for CRP and insulin, ALT and GGT were still predictive of incident diabetes. When the model was further adjusted for anthropometric, blood pressure and metabolic factors, only ALT was independently associated with diabetes [OR = 3.18 (1.02–9.86)]. No difference was found between the area under the receiver operating characteristic curves of the models with and without ALT (0.820 and 0.802 respectively, P = 0.4)</p> <p>Conclusion</p> <p>ALT is associated with incident type 2 diabetes independent of classic risk factors. However, its addition to the classic risk factors does not improve the prediction of diabetes.</p

Long-term morbidity and mortality in patients diagnosed with an insulinoma

Objective: Insulinomas are rare functional pancreatic neuroendocrine tumours. As previous data on the long-term prognosis of insulinoma patients are scarce, we studied the morbidity and mortality in the Finnish insulinoma cohort.Design: Retrospective cohort study.Methods: Incidence of endocrine, cardiovascular, gastrointestinal and psychiatric disorders, and cancers was compared in all the patients diagnosed with an insulinoma in Finland during 1980-2010 (n = 79, including two patients with multiple endocrine neoplasia type 1 syndrome), vs 316 matched controls, using the Mantel-Haenszel method. Overall survival was analysed with Kaplan-Meier and Cox regression analyses.Results: The median length of follow-up was 10.7 years for the patients and 12.2 years for the controls. The long-term incidence of atrial fibrillation (rate ratio (RR): 2.07 (95% CI: 1.02-4.22)), intestinal obstruction (18.65 (2.09-166.86)), and possibly breast (4.46 (1.29-15.39) and kidney cancers (RR not applicable) was increased among insulinoma patients vs controls, P < 0.05 for all comparisons. Endocrine disorders and pancreatic diseases were more frequent in the patients during the first year after insulinoma diagnosis, but not later on. The survival of patients with a nonmetastatic insulinoma (n = 70) was similar to that of controls, but for patients with distant metastases (n = 9), the survival was significantly impaired (median 3.4 years).Conclusions: The long-term prognosis of patients with a non-metastatic insulinoma is similar to the general population, except for an increased incidence of atrial fibrillation, intestinal obstruction, and possibly breast and kidney cancers. These results need to be confirmed in future studies. Metastatic insulinomas entail a markedly decreased survival

Rosiglitazone and glimeperide: review of clinical results supporting a fixed dose combination

Type 2 diabetes has become a major burden to the health care systems worldwide. Among the drugs approved for this indication, glimepiride and rosiglitazone have gained substantial importance in routine use. While glimepiride stimulates β-cell secretion and leads to reduction of blood glucose values, rosiglitazone activates PPARγ and improves insulin resistance, at the vascular and metabolically active cells. Therefore, the combination of the two drugs may be an interesting approach to improve glycemic control and lower cardiovascular risk. A fixed combination of both drugs has been approved for clinical use in the US and EU. The combination of glimepiride and rosiglitazone is generally well tolerated and the use of a fixed combination may lead to improved adherence of the patients to their therapy. The purpose of this review is to evaluate the clinical data that have been published on this combination, appearing to represent a convenient way to obtain therapeutic targets in patients with type 2 diabetes mellitus

Improved Glycaemia correlates with liver fat reduction in obese, type 2 diabetes, patients given glucagon-like peptide-1 (GLP-1) receptor agonists

Glucagon-like peptide-1 receptor agonists (GLP-1 RA) are effective for obese patients with type 2 diabetes mellitus (T2DM) because they concomitantly target obesity and dysglycaemia. Considering the high prevalence of non-alcoholic fatty liver disease (NAFLD) in patients with T2DM, we determined the impact of 6 months' GLP-1 RA therapy on intrahepatic lipid (IHL) in obese, T2DM patients with hepatic steatosis, and evaluated the inter-relationship between changes in IHL with those in glycosylated haemoglobin (HbA(1)c), body weight, and volume of abdominal visceral and subcutaneous adipose tissue (VAT and SAT). We prospectively studied 25 (12 male) patients, age 50±10 years, BMI 38.4±5.6 kg/m(2) (mean ± SD) with baseline IHL of 28.2% (16.5 to 43.1%) and HbA(1)c of 9.6% (7.9 to 10.7%) (median and interquartile range). Patients treated with metformin and sulphonylureas/DPP-IV inhibitors were given 6 months GLP-1 RA (exenatide, n = 19; liraglutide, n = 6). IHL was quantified by liver proton magnetic resonance spectroscopy ((1)H MRS) and VAT and SAT by whole body magnetic resonance imaging (MRI). Treatment was associated with mean weight loss of 5.0 kg (95% CI 3.5,6.5 kg), mean HbA(1c) reduction of 1·6% (17 mmol/mol) (0·8,2·4%) and a 42% relative reduction in IHL (-59.3, -16.5%). The relative reduction in IHL correlated with that in HbA(1)c (ρ = 0.49; p = 0.01) but was not significantly correlated with that in total body weight, VAT or SAT. The greatest IHL reduction occurred in individuals with highest pre-treatment levels. Mechanistic studies are needed to determine potential direct effects of GLP-1 RA on human liver lipid metabolism

Exendin-4 Improves Steatohepatitis by Increasing Sirt1 Expression in High-Fat Diet-Induced Obese C57BL/6J Mice

The effects of exendin-4 on Sirt1 expression as a mechanism of reducing fatty liver have not been previously reported. Therefore, we investigated whether the beneficial effects of exendin-4 treatment on fatty liver are mediated via Sirt1 in high-fat (HF) diet-induced obese C57BL/6J mice and related cell culture models. Exendin-4 treatment decreased body weight, serum free fatty acid (FA), and triglyceride levels in HF-induced obese C57BL/6J mice. Histological analysis showed that exendin-4 reversed HF-induced hepatic accumulation of lipids and inflammation. Exendin-4 treatment increased mRNA and protein expression of Sirt1 and its downstream factor, AMPK, in vivo and also induced genes associated with FA oxidation and glucose metabolism. In addition, a significant increase in the hepatic expression of Lkb1 and Nampt mRNA was observed in exendin-4-treated groups. We also observed increased expression of phospho-Foxo1 and GLUT2, which are involved in hepatic glucose metabolism. In HepG2 and Huh7 cells, mRNA and protein expressions of GLP-1R were increased by exendin-4 treatment in a dose-dependent manner. Exendin-4 enhanced protein expression of Sirt1 and phospho-AMPKα in HepG2 cells treated with 0.4 mM palmitic acid. We also found that Sirt1 was an upstream regulator of AMPK in hepatocytes. A novel finding of this study was the observation that expression of GLP-1R is proportional to exendin-4 concentration and exendin-4 could attenuate fatty liver through activation of Sirt1