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.

Diagnosis, Assessment, and Treatment of Non-Pulmonary Arterial Hypertension Pulmonary Hypertension

The 4th World Symposium on Pulmonary Hypertension was the first international meeting to focus not only on pulmonary arterial hypertension (PAH) but also on the so-called non-PAH forms of pulmonary hypertension (PH). The term ""non-PAH PH"" summarizes those forms of PH that are found in groups 2 to 5 of the current classification of PH, that is, those forms associated with left heart disease, chronic lung disease, recurrent venous thromboembolism, and other diseases. Many of these forms of PH are much more common than PAH, but all of them have been less well studied, especially in terms of medical therapy. The working group on non-PAH PH focused mainly on 4 conditions: chronic obstructive lung disease, interstitial lung disease, chronic thromboembolic PH, and left heart disease. The medical literature regarding the role of PH in these diseases was reviewed, and recommendations regarding diagnosis and treatment of PH in these conditions are provided. Given the lack of robust clinical trials addressing PH in any of these conditions, it is important to conduct further studies to establish the role of medical therapy in non-PAH PH. (J Am Coll Cardiol 2009;54:S85-96) (C) 2009 by the American College of Cardiology Foundation

Screening for serious mental illness in the general population with the K6 screening scale: results from the WHO World Mental Health (WMH) survey initiative

Data are reported on the background and performance of the K6 screening scale for serious mental illness (SMI) in the World Health Organization (WHO) World Mental Health (WMH) surveys. The K6 is a six-item scale developed to provide a brief valid screen for Diagnostic and Statistical Manual of Mental Disorders 4th edition (DSM-IV) SMI based on the criteria in the US ADAMHA Reorganization Act. Although methodological studies have documented good K6 validity in a number of countries, optimal scoring rules have never been proposed. Such rules are presented here based on analysis of K6 data in nationally or regionally representative WMH surveys in 14 countries (combined N = 41,770 respondents). Twelve-month prevalence of DSM-IV SMI was assessed with the fully-structured WHO Composite International Diagnostic Interview. Nested logistic regression analysis was used to generate estimates of the predicted probability of SMI for each respondent from K6 scores, taking into consideration the possibility of variable concordance as a function of respondent age, gender, education, and country. Concordance, assessed by calculating the area under the receiver operating characteristic curve, was generally substantial (median 0.83; range 0.76-0.89; inter-quartile range 0.81-0.85). Based on this result, optimal scaling rules are presented for use by investigators working with the K6 scale in the countries studied. Copyright (c) 2010 John Wiley & Sons, Ltd.