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.

Skin Coverage of the Middle-Distal Segment of the Leg With a Pedicled Perforator Flap

Objective: This is a clinical study of our experience using pedicle perforator flaps to cover skin defects in the middle and distal segment of the leg. Design: Prospective study. Setting: University hospital. Patients/Intervention: Twenty-four patients underwent treatment of a skin defect in the middle or distal segment of the leg by means of pedicled flaps based on perforating arteries. The perforating arteries were located before the operation by means of echo-Doppler examination. The flaps were planned in propeller fashion (21 cases) and as advancement (three cases). Main Outcome Measurements: The results were evaluated according the origin of perforator flap, size of the flap, and donor area and viability of the flap. The success rate of the echo-Doppler to identify the location of perforator vessel was also evaluated. Results: In nine cases, the perforating vessels originated from the fibular artery, in 10 the posterior tibial artery, and in five the anterior tibial artery. The mean size of the flaps was 5 cm in width by 12 cm in length. The success rate using an echo-Doppler was 87%. The flaps were fully viable in 20 cases and partially viable in four cases. Conclusion: On the basis of these results, it is concluded that perforating flaps are a good choice of treatment for skin losses, especially in the distal segment of the leg, and could be an alternative option for the use of free microsurgical flaps.

The Versatile Adani`s Flap for Fingertip Coverage Indications and Case Reports

Heterodigital pedicle flaps have 2 possible patters of vascularization: anterograde flow (Littler) or reverse flow (Adani). The Adani`s flap uses the Y-V pedicle lengthening principle. The flap is raised from the adjacent uninjured finger based on the digital artery. The common digital artery is ligated and a long pedicle is formed from the 2 converging digital arteries to supply a reverse flow flap. Four patients with severe fingertips injuries were submitted to surgical treatment with the Adani`s flap. All flaps integrated and provided skin coverage. The Adani`s flap has a long vascular pedicle that allows a wide arch of transposition. An easier vascular dissection in a site distant from the trauma which evolves a higher diameter digital artery and proximal interphalangeal arterial system promotes a high survival rate and good functional results. Adani`s flap is a reliable technique for severe fingertip injuries.

Australia and New Zealand satellite coverage using a microstrip patch reflectarray

This paper presents the design of Ku-band (12.25 12.75 GHz) dual-polarized reflectarrays for Optus BI satellites to obtain a contoured beam for Australia and New Zealand. The specified radiation pattern is synthesized using a phase-only synthesis method based on the concept of intersection approach. Having determined the phasing data, single- and double-layer reflectarrays ore designed using variable-size rectangular patches. The performances of the two reflectarrays are assessed by comparing their radiation patterns with the assumed pattern. (C) 2003 Wiley Periodicals, Inc. Microwave Opt Technol Lett 37: 321-325, 2003; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10. 1002/mop. 10907.

Surveillance of mother-to-child HIV transmission: socioeconomic and health care coverage indicators

OBJECTIVE: To identify clustering areas of infants exposed to HIV during pregnancy and their association with indicators of primary care coverage and socioeconomic condition. METHODS: Ecological study where the unit of analysis was primary care coverage areas in the city of Porto Alegre, Southern Brazil, in 2003. Geographical Information System and spatial analysis tools were used to describe indicators of primary care coverage areas and socioeconomic condition, and estimate the prevalence of liveborn infants exposed to HIV during pregnancy and delivery. Data was obtained from Brazilian national databases. The association between different indicators was assessed using Spearman's nonparametric test. RESULTS: There was found an association between HIV infection and high birth rates (r=0.22, p<0.01) and lack of prenatal care (r=0.15, p<0.05). The highest HIV infection rates were seen in areas with poor socioeconomic conditions and difficult access to health services (r=0.28, p<0.01). The association found between higher rate of prenatal care among HIV-infected women and adequate immunization coverage (r=0.35, p<0.01) indicates that early detection of HIV infection is effective in those areas with better primary care services. CONCLUSIONS: Urban poverty is a strong determinant of mother-to-child HIV transmission but this trend can be fought with health surveillance at the primary care level.

Portuguese newspapers’ front-page and the coverage of European Cultural Capital: Porto 2001 and Guimarães 2012

Portugal hosted in the last thirteen years, two editions of the event European Cultural Capital; this paper intends to illustrate the coverage that Portuguese newspapers (daily newspapers Público, Diário de Notícias, Correio da Manhã and Jornal de Notícias, a weekly newsmagazine Visão and a weekly newspaper Expresso) made, through referrals in front-page and respective developments within the editions, to each of the events and that allows us to define the main moments that marked each of them, patterns of action, the major players, planning and programming types. The European Cultural Capital project elects, from year to year, cities of different EU member states with the main goal of “contributing to bring together the Europe´s people" (words of Mélina Mercouri, Greek Minister of Culture who, in 1985, proposed the launch of this initiative) and encouraging the elected urban space to present new cultural paradigms. In the genesis of this model is the cultural decentralization’s vector, a possibility to medium-sized cities of funding public works, restoring heritage and promoting themselves in touristic terms, of giving visibility to cities away from cultural and creative industries’ major distribution centers. A crucial factor to achieve this goal is media coverage. This paper outline the information that the Portuguese press ran over the two years that elapsed the latest editions of the European Cultural Capital in Portugal, namely that media coverage have deviated from the disclosure of the events’ schedule to suggest itineraries of visit and little or not even question the role that cities, promoting such initiatives, have as places of innovation in terms of cultural policies, artistic production and innovation, in urban and environmental regeneration, in economic revitalization, in training and creating new artists and new audiences and in boosting the confidence of local communities. The content analysis performed to articles shows how press is essential to the promotion of cities as cultural/touristic destinations as it stimulates consumption among residents and attracts visitors, with the possible dire consequence of turning the cultural journalist into an agent of touristic instead of cultural promotion.

Newspaper coverage impact on cultural events: Porto 2001 and Guimarães 2012: European Cultural Capitals

Artigo baseado na comunicação proferida no 1st International Symposium on Media Studies, realizado na Akdeniz Universitesi Yayınları, Antalya, Turquia, 21-23 de novembro de 2013

Factors associated with vaccination coverage in children < 5 years in Angola

OBJECTIVE To analyze vaccination coverage and factors associated with a complete immunization scheme in children < 5 years old. METHODS This cross-sectional household census survey evaluated 1,209 children < 5 years old living in Bom Jesus, Angola, in 2010. Data were obtained from interviews, questionnaires, child immunization histories, and maternal health histories. The statistical analysis used generalized linear models, in which the dependent variable followed a binary distribution (vaccinated, unvaccinated) and the association function was logarithmic and had the children’s individual, familial, and socioeconomic factors as independent variables. RESULTS Vaccination coverage was 37.0%, higher in children < 1 year (55.0%) and heterogeneous across neighborhoods; 52.0% of children of both sexes had no immunization records. The prevalence rate of vaccination significantly varied according to child age, mother’s level of education, family size, ownership of household appliances, and destination of domestic waste. CONCLUSIONS Vulnerable groups with vaccination coverage below recommended levels continue to be present. Some factors indicate inequalities that represent barriers to full immunization, indicating the need to implement more equitable policies. The knowledge of these factors contributes to planning immunization promotion measures that focus on the most vulnerable groups.

Cervical cancer screening coverage in a high-incidence region

OBJECTIVE To analyze the coverage of a cervical cancer screening program in a city with a high incidence of the disease in addition to the factors associated with non-adherence to the current preventive program.METHODS A cross-sectional study based on household surveys was conducted. The sample was composed of women between 25 and 59 years of age of the city of Boa Vista, RR, Northern Brazil who were covered by the cervical cancer screening program. The cluster sampling method was used. The dependent variable was participation in a women’s health program, defined as undergoing at least one Pap smear in the 36 months prior to the interview; the explanatory variables were extracted from individual data. A generalized linear model was used.RESULTS 603 women were analyzed, with an mean age of 38.2 years (SD = 10.2). Five hundred and seventeen women underwent the screening test, and the prevalence of adherence in the last three years was up to 85.7% (95%CI 82.5;88.5). A high per capita household income and recent medical consultation were associated with the lower rate of not being tested in multivariate analysis. Disease ignorance, causes, and prevention methods were correlated with chances of non-adherence to the screening system; 20.0% of the women were reported to have undergone opportunistic and non-routine screening.CONCLUSIONS The informed level of coverage is high, exceeding the level recommended for the control of cervical cancer. The preventive program appears to be opportunistic in nature, particularly for the most vulnerable women (with low income and little information on the disease). Studies on the diagnostic quality of cervicovaginal cytology and therapeutic schedules for positive cases are necessary for understanding the barriers to the control of cervical cancer.

Serological findings during a measles outbreak occurring in a population with vaccine coverage

From March 1991 to April 1992, serum samples for IgM detection were collected from 112 clinical measles cases reported to the Health Department of Niterói, State of Rio de Janeiro. The positivity exceeded 90% for specimens collected from the 5th to the 29th day after the onset of the disease. After day 30 a decline in IgM detection was observed, although positivity has been detected up to 90 days after the onset of the symptoms. Forty-four patients (48.9%) with an IgM response had a history of prior measles vaccination. In 5 of the 22 measles-IgM negative cases the infection was due to other agents (rubella: 4 cases, dengue: 1 case). These results show that sensitivity of the test employed for confirming suspected measles cases is high, even in vaccinated patients.

Double coverage and demand for health care: Evidence from quantile regression

An individual experiences double coverage when he bene ts from more than one health insurance plan at the same time. This paper examines the impact of such supplementary insurance on the demand for health care services. Its novelty is that within the context of count data modelling and without imposing restrictive parametric assumptions, the analysis is carried out for di¤erent points of the conditional distribution, not only for its mean location. Results indicate that moral hazard is present across the whole outcome distribution for both public and private second layers of health insurance coverage but with greater magnitude in the latter group. By looking at di¤erent points we unveil that stronger double coverage e¤ects are smaller for high levels of usage. We use data for Portugal, taking advantage of particular features of the public and private protection schemes on top of the statutory National Health Service. By exploring the last Portuguese Health Survey, we were able to evaluate their impacts on the consumption of doctor visi

The Turbocharged Becker Flap: a Simple Variation that Allows Coverage of Most of the Dorsum of the Hand

Cover of medium and large defects of the dorsum of the hand remains a substantial surgical challenge that often requires free tissue transfer. We report the case of a 28-year-old male who presented with necrosis of most of the dorsum of his dominant hand after an iatrogenic injury. A large Becker flap was raised to cover the entire defect. However, venous insufficiency was noted intraoperatively. The flap was turbocharged by performing a venous anastomosis between the flap and the recipient site, resulting in complete survival of the flap. The authors conclude that the turbocharged Becker flap can be a good alternative for expeditiously covering large defects of the dorsum of the hand without having to resort to free tissue transfer.

Pandemic influenza A/H1N1 vaccination coverage, adverse reactions, and reasons for vaccine refusal among medical students in Brazil

The aim of this cross-sectional study was to determine, among medical students at a public university in Rio de Janeiro, Brazil, the acceptance of the pandemic influenza A/H1N1 vaccine during the 2010 mass immunization campaign and the vaccine safety in this group and, among unvaccinated students, the reasons for refusing vaccination. Of a total of 858 students, 678 (79%) participated in the study. Vaccination coverage was 60.4% among students aged 20 to 39 years (an age group targeted for vaccination) and 43.8% among those who did not belong to this age group. The most frequent adverse reactions to the vaccine were pain at the injection site (8.7%) and fever (7.9%). There were no serious adverse reactions. Among students aged 20 to 39 years, the most common reasons for refusing the vaccine were "lack of time" (42.4%), "fear of adverse reactions" (41.9%), and "difficult access to the vaccine" (11.5%). Other reasons for vaccine refusal were "uncertainties about vaccine safety and efficacy" and "vaccination was not needed". To increase the acceptance of the influenza vaccine, a comprehensive immunization program should be offered to these students.

HEPATITIS B VACCINATION COVERAGE AND POSTVACCINATION SEROLOGIC TESTING AMONG MEDICAL STUDENTS AT A PUBLIC UNIVERSITY IN BRAZIL

The aim of this cross-sectional study was to determine the hepatitis B vaccination coverage among medical students at a public university in Rio de Janeiro, Brazil, and their compliance with the postvaccination serologic testing recommendations. Of the total of 858 students, 675 (78.7%) participated in the study. Among the participants, 48.9% (95% CI: 45.1% to 52.7%) were vaccinated against hepatitis B (received ≥ 3 doses of the vaccine), 31.6% were not (received 0, 1 or 2 doses), and 19.6% did not know their vaccination status. Hepatitis B vaccination coverage increased from 26.0% among first-year students to 70.6% among sixth-year students while the prevalence of unknown vaccination status decreased from 39.7% among first-year students to 2.4% among sixth-year students. The frequency of unvaccinated students ranged from 23.7% among fifth-year students to 34.4% among first-year students. Only 34.8% of the vaccinated students performed the anti-HBs testing after vaccination. Among these medical students, we found a low adherence to the hepatitis B vaccination and to the postvaccination serologic testing. A comprehensive hepatitis B immunization program should be offered to students at this medical school.