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.

Computer-aided Drug Design of Novel PLA(2) Inhibitor Candidates for Treatment of Snakebite

Phospholipases A(2) (PLA(2)) are enzymes commonly found in snake venoms from Viperidae and Elaphidae families, which are major components thereof. Many plants are used in traditional medicine its active agents against various effects induced by snakebite. This article presents the PLA(2) BthTX-I structure prediction based on homology modeling. In addition, we have performed virtual screening in a large database yielding a set of potential bioactive inhibitors. A flexible docking program was used to investigate the interactions between the receptor and the new ligands. We have performed molecular interaction fields (MIFs) calculations with the phospholipase model. Results confirm the important role of Lys49 for binding ligands and suggest three additional residues as well. We have proposed a theoretically nontoxic, drug-like, and potential novel BthTX-I inhibitor. These calculations have been used to guide the design of novel phospholipase inhibitors as potential lead compounds that may be optimized for future treatment of snakebite victims as well as other human diseases in which PLA(2) enzymes are involved.

Demonstrators and Semper press car during Moratorium in Brisbane 1970

Demonstrators in Brisbane, Australia with banners and flags during Moratorium march 1970. Semper press car (Volkswagon Kombi) can be seen. Protestors are outside the Presbyterian Church of Queensland (now Uniting Church) in Ann Street, Brisbane. In the background, scaffolding can be seen at the construction site of the Crest Hotel. Semper Floreat is the student newspaper of the University of Queensland.

Effect of oral creatine supplementation on near-maximal strength and repeated sets of high-intensity bench press exercise

This study examined the effects of 26 days of oral creatine monohydrate (Cr) supplementation on near-maximal muscular strength, high-intensity bench press performance, and body composition. Eighteen male powerlifters with at least 2 years resistance training experience took part in this 28-day experiment. Pre and postmeasurements (Days 1 and 28) were taken of near-maximal muscular strength, body mass, and % body fat. There were two periods of supplementation Days 2 to 6 and Days 7 to 27. ANOVA and t-tests revealed that Cr supplementation significantly increased body mass and lean body mass with no changes in % body fat. Significant increases in 3-RM strength occurred in both groups, both absolute and relative to body mass; the increases were greater in the Cr group. The change in total repetitions also increased significantly with Cr supplementation both in absolute terms and relative to body mass, while no significant change was seen in the placebo (P) group. Creatine supplementation caused significant changes in the number of BP reps in Sets 1, 4, and 5. No changes occurred in the P group. It appears that 26 days of Cr supplementation significantly improves muscular strength and repeated near-maximal BP performance, and induces changes in body composition.

Book review of Mark McGillivray and Gary Smith's (eds.) "Australia and Asia", Melbourne: Oxford University Press, 1997. vii + 248 pp

The political capital invested in Australia's engagement with Asia over the past decade has sparked a lively discussion in the Australian academic community. The back cover of the book under review suggests that there are 'few bigger contemporary issues facing Australia than its relationship with Asia'. If the volume of scholarly material being produced on this issue is any indication, they are right. Like a number of similar works covering the shift in Australian foreign, defence, and trade policies towards Asia over the last decade, this book acknowledges a particular debt of gratitude to the Keating government for establishing regional engagement at the forefront of our national consciousness. Unlike some others however, this book seeks to place Australia's more recent 'discovery' of Asia into a broader historical framework.

John Waldridge, The Leaven of the Ancients: Suhrawardi and the Heritage of the Greeks, SUNY Series in Islam (Albany: State University of New York Press, 1999). Pp. 323

In the Leaven of the Ancients, John Walbridge studies the appropriation of non–Peripatetic philosophical ideas by an anti–Aristotelian Islamic philosopher, Shihab al-Din al-Suhrawardi (d. 1191). He proposes a comprehensive explanation of the origin of Suhrawardi's philosophical system, a revival of the “wisdom of the Ancients” and its philosophical affiliations “grounded” in Greek philosophy (p. xiii). Walbridge attempts to uncover the reasons for Suhrawardi's rejection of the prevailing neo–Aristotelian synthesis in Islamic philosophy, Suhrawardi's knowledge and understanding of non–Aristotelian Greek philosophy, the ancient philosophers Suhrawardi was attempting to follow, the relationship between Suhrawardi's specific philosophical teachings (logic, ontology, physics, and metaphysics), and his understanding of non–Aristotelian ancient philosophy and the relationship between Suhrawardi's system and the major Greek philosophers, schools, and traditions—in particular the Presocratics, Plato, and the Stoics (p. 8). Copyright © 2003 Cambridge University Press

Review of 'The Thai Village Economy in the Past'

This charmingly old-fashioned little book was first published in Thai in 1984, and now appears in an elegant English translation. The two major intellectual influences that gave it birth are rather older, dating from the 1950s, 1960s, and early 1970s. The first developed from the intersection of the academic pre-eminence of varieties of Marxist thinking about the Third World and the struggles of anticolonial peasant-based revolutionaries and produced a high age of romanticism about the Southeast Asian village and the unfortunate victims who inhabited them. The origins of the second are more uncertain, but probably represent, paradoxically, a Thai appropriation of those Western social-science constructions of Thai cultural uniqueness which were especially popular in the 1950s and 1960s.

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.

Alcohol consumption in homicide victims in the city of Sao Paulo

Aims To assess the association between alcohol use and victimization by homicide in individuals autopsied at the Institute of Legal Medicine in Sao Paulo, Brazil. Design Cross-sectional study. Setting Excessive consumption of alcohol is a serious public health issue and a major factor in triggering violent situations, which suggests a strong association between alcohol ingestion and becoming a victim of homicide. Participants Data from 2042 victims of homicides in 2005 were obtained from medical examiner reports. Measurements The victim`s gender, age, ethnicity and blood alcohol concentration (BAC) were collected. The method of death and homicide circumstances, as well as the date, time and place of death were also studied. Findings Alcohol was detected in blood samples of 43% of the victims, and mean BAC levels were 1.55 +/- 0.86 g/l. The prevalence of positive BAC levels was higher among men (44.1%) than women (26.6%), P < 0.01. Firearms caused most of the deaths (78.6%), and alcohol consumption was greater among victims of homicide by sharp weapons (P < 0.01). A greater proportion of victims with positive BAC were killed at weekends compared to weekdays (56.4 and 38.5%, respectively; P < 0.01), and the correlation between homicide rates and the average BAC for the central area of the city was positive (r(s) = 0.90; P < 0.01). Conclusions These results highlight alcohol as a contributing factor for homicide victimization in the greatest urban center in South America, supporting public strategies and future research aiming to prevent homicides and violence related to alcohol consumption.

AIDS in Latin America: assessing the current status of the epidemic and the ongoing response

Background This article provides a summary of the current status of the HIV/AIDS epidemic in Latin America, as well as an outline of the diverse responses to it. Methods A search of international databases (Pubmed and ISI-Web of Science), regional databases (Scielo and Lilacs), regional and national documents and UNAIDS reports. Data are presented according to subregion. Results In Mexico HIV remains concentrated among urban men who have sex with men (MSM), and has been growing among injecting drug users (IDU) and in rural areas in relation to migration. An increasing proportion of women among those affected is observed in all countries in Central America, the most affected region, as well as increasing the impact on other vulnerable groups, such as indigenous populations. The Andean Countries have urban epidemics concentrated among MSM. In Peru, non-traditional vulnerable populations were identified. In the Southern Cone heterosexual transmission became more relevant, probably in connection with IDU epidemics and is increasingly affecting lower income groups. Incidence rates have been declining since 2002 in Brazil, the first country to guarantee free, universal access to antiretrovirals, where one-third of drug-nave patients are still initiating treatment at an advanced stage. Generally, access to treatment has improved as a result of support from the Global Fund and other initiatives, but there are concerns regarding coverage, equity and sustainability. Conclusions HIV is still concentrated among MSM in Latin America. Non-traditional vulnerable groups such as migrants and lower income populations, usually considered part of the general population, deserve attention. Programmes confronting sexual exclusion are still needed. Access to treatment has improved over time, but inequalities persist.