Functional verification: approaches and challenges

It's a fact that functional verification (FV) is paramount within the hardware's design cycle. With so many new techniques available today to help with FV, which techniques should we really use? The answer is not straightforward and is often confusing and costly. The tools and techniques to be used in a project have to be decided upon early in the design cycle to get the best value for these new verification methods. This paper gives a quick survey in the form of an overview on FV, establishes the difference between verification and validation, describes the bottlenecks that appear in the verification process, examines the challenges in FV and exposes the current FV technologies and trends.

Prospects and challenges for sustainable management of the mango stone weevil, Sternochetus mangiferae (F.) (Coleoptera: Curculionidae) in West Africa: a review

Commercial mango production in Ghana is a relatively young industry faced with several pest problems including the mango stone weevil, Sternochetus mangiferae (F.). There is an urgent need to control this and other pests to facilitate access to the international export market for fresh mango fruits. A literature survey identifies stone weevil control tactics in the areas of host plant resistance, administrative and legislative controls, use of pesticides, biological control, cultural control and quarantine and phytosanitary measures that have been developed in other mango-producing areas. We assess these pest management approaches for their relevance to Ghana and West Africa, with emphasis on the research required for their appropriate, effective and sustainable use in the systems of mango production of the West African sub-region. The importance of processing and value addition technologies, as a means of circumventing the quarantine hurdles of S. mangiferae, is highlighted.

Joint modelling of obstacle induced and mesoscale changes: current limits and challenges

Obstacles considerably influence boundary layer processes. Their influences have been included in mesoscale models (MeM) for a long time. Methods used to parameterise obstacle effects in a MeM are summarised in this paper using results of the mesoscale model METRAS as examples. Besides the parameterisation of obstacle influences it is also possible to use a joint modelling approach to describe obstacle induced and mesoscale changes. Three different methods may be used for joint modelling approaches: The first method is a time-slice approach, where steady basic state profiles are used in an obstacle resolving microscale model (MiM, example model MITRAS) and diurnal cycles are derived by joining steady-state MITRAS results. The second joint modelling approach is one-way nesting, where the MeM results are used to initialise the MiM and to drive the boundary values of the MiM dependent on time. The third joint modelling approach is to apply multi-scale models or two-way nesting approaches, which include feedbacks from the MiM to the MeM. The advantages and disadvantages of the different approaches and remaining problems with joint Reynolds-averaged Navier–Stokes modelling approaches are summarised in the paper.

Simulation models in farming systems research : potential and challenges

Integrated simulation models can be useful tools in farming system research. This chapter reviews three commonly used approaches, i.e. linear programming, system dynamics and agent-based models. Applications of each approach are presented and strengths and drawbacks discussed. We argue that, despite some challenges, mainly related to the integration of different approaches, model validation and the representation of human agents, integrated simulation models contribute important insights to the analysis of farming systems. They help unravelling the complex and dynamic interactions and feedbacks among bio-physical, socio-economic, and institutional components across scales and levels in farming systems. In addition, they can provide a platform for integrative research, and can support transdisciplinary research by functioning as learning platforms in participatory processes.

Root phenomics of crops: opportunities and challenges

Reliable techniques for screening large numbers of plants for root traits are still being developed, but include aeroponic, hydroponic and agar plate systems. Coupled with digital cameras and image analysis software, these systems permit the rapid measurement of root numbers, length and diameter in moderate ( typically <1000) numbers of plants. Usually such systems are employed with relatively small seedlings, and information is recorded in 2D. Recent developments in X-ray microtomography have facilitated 3D non-invasive measurement of small root systems grown in solid media, allowing angular distributions to be obtained in addition to numbers and length. However, because of the time taken to scan samples, only a small number can be screened (typically<10 per day, not including analysis time of the large spatial datasets generated) and, depending on sample size, limited resolution may mean that fine roots remain unresolved. Although agar plates allow differences between lines and genotypes to be discerned in young seedlings, the rank order may not be the same when the same materials are grown in solid media. For example, root length of dwarfing wheat ( Triticum aestivum L.) lines grown on agar plates was increased by similar to 40% relative to wild-type and semi-dwarfing lines, but in a sandy loam soil under well watered conditions it was decreased by 24-33%. Such differences in ranking suggest that significant soil environment-genotype interactions are occurring. Developments in instruments and software mean that a combination of high-throughput simple screens and more in-depth examination of root-soil interactions is becoming viable.

Mobilising community action towards a low-carbon future: Opportunities and challenges for local government in the UK

Over the last decade the important role that local authorities can play in catalyzing communityaction on climate change has been repeatedly emphasised by the UK Government. The paper examines this policy context and explores the options available to local authorities in terms of reaching and engaging their communities. The type of progressive response shown by some UKlocal authorities is illustrated with empirical evidence gathered through a study conducted in the London Borough of Islington focusing on their recently established ‘Green Living Centre’. The results confirm interest in this major council-led community initiative, with positive attitudes expressed by the majority of those questioned in terms of the advice and information available. However, it is also clear that many participants had preexisting pro-environmental attitudes and behavioural routines. Results from a broader sample of Islington residents indicate a substantial challenge in reaching the wider community, where enthusiasm for sustainability change and interest in this type of scheme were more mixed. The prospect for local government in addressing this challenge – and their ability to trigger and capitalize upon concepts of social change at the community level towardsalowercarbon future – is discussed in the final part of the paper.

BIM: innovation in design management, influence and challenges of implementation

The construction industry is widely being criticised as a fragmented industry. There are mounting calls for the industry to change. The espoused change calls for collaboration as well as embracing innovation in the process of design, construction and across the supply chain. Innovation and the application of emerging technologies are seen as enablers for integrating the processes ‘integrating the team’ such as building information modelling (BIM). A questionnaire survey was conducted to ascertain change in construction with regard to design management, innovation and the application of BIM as cutting edge pathways for collaboration. The respondents to the survey were from an array of designations across the construction industry such as construction managers, designers, engineers, design coordinators, design managers, architects, architectural technologists and surveyors. There was a general agreement by most respondents that the design team was responsible for design management in their organisation. There is a perception that the design manager and the client are the catalyst for advancing innovation. The current state of industry in terms of incorporating BIM technologies is posing a challenge as well as providing an opportunity for accomplishment. BIM technologies provide a new paradigm shift in the way buildings are designed, constructed and maintained. This paradigm shift calls for rethinking the curriculum for educating building professionals, collectively.

Obesity, diabetes and longevity in the Gulf: is there a Gulf Metabolic Syndrome?

The Gulf is experiencing a pandemic of lifestyle-induced obesity and type 2 diabetes mellitus (T2DM), with rates exceeding 50 and 30%, respectively. It is likely that T2DM represents the tip of a very large metabolic syndrome iceberg, which precedes T2DM by many years and is associated with abnormal/ectopic fat distribution, pathological systemic oxidative stress and inflammation. However, the definitions are still evolving with the role of different fat depots being critical. Hormetic stimuli, which include exercise, calorie restriction, temperature extremes, dehydration and even some dietary components (such as plant polyphenols), may well modulate fat deposition. All induce physiological levels of oxidative stress, which results in mitochondrial biogenesis and increased anti-oxidant capacity, improving metabolic flexibility and the ability to deal with lipids. We propose that the Gulf Metabolic Syndrome results from an unusually rapid loss of hormetic stimuli within an epigenetically important time frame of 2-3 generations. Epigenetics indicates that thriftiness can be programmed by the environment and passed down through several generations. Thus this loss of hormesis can result in continuation of metabolic inflexibility, with mothers exposing the foetus to a milieu that perpetuates a stressed epigenotype. As the metabolic syndrome increases oxidative stress and reduces life expectancy, a better descriptor may therefore be the Lifestyle-Induced Metabolic Inflexibility and accelerated AGEing syndrome – LIMIT-AGE. As life expectancy in the Gulf begins to fall, with perhaps a third of this life being unhealthy – including premature loss of sexual function, it is vital to detect evidence of this condition as early in life as possible. One effective way to do this is by detecting evidence of metabolic inflexibility by studying body fat content and distribution by magnetic resonance (MR). The Gulf Metabolic Syndrome thus represents an accelerated form of the metabolic syndrome induced by the unprecedented rapidity of lifestyle change in the region, the stress of which is being passed from generation to generation and may be accumulative. The fundamental cause is probably due to a rapid increase in countrywide wealth. This has benefited most socioeconomic groups, resulting in the development of an obesogenic environment as the result of the rapid adoption of Western labour saving and stress relieving devices (e.g. cars and air conditioning), as well as the associated high calorie diet.

Type 2 diabetes and impaired glucose tolerance are associated with word memory source monitoring recollection deficits but not simple recognition familiarity deficits following water, low glycaemic load, and high glycaemic load breakfasts.

Isolated source monitoring recollection deficits indicate that abnormalities in glucose metabolism are not detrimental for global episodic memory processes. This enhances our understanding of how metabolic disorders are associated with memory impairments.

Eastern partnership migrants in Germany: outcomes, potentials and challenges

Despite the ongoing dialogue on facilitating mobility between the European Union and the Eastern Partnership (EaP) countries, very little is known about the magnitude and characteristics of migration from these countries. We find that EaP migrants experience worse labor market outcomes than other migrant groups, but current and potential migrants hold qualifications in those areas were skill shortages are expected. Therefore, the monitoring and supervision of EaP integration will be consequential in order to understand how much of the current brain waste is driven by poor assessment of foreign qualifications, and to unleash the potential of migration for the German economy.