“Post silicon debug of SOC designs”

Continuous advances in VLSI technology have made implementation of very complicated systems possible. Modern System-on -Chips (SoCs) have many processors, IP cores and other functional units. As a result, complete verification of whole systems before implementation is becoming infeasible; hence it is likely that these systems may have some errors after manufacturing. This increases the need to find design errors in chips after fabrication. The main challenge for post-silicon debug is the observability of the internal signals. Post-silicon debug is the problem of determining what's wrong when the fabricated chip of a new design behaves incorrectly. This problem now consumes over half of the overall verification effort on large designs, and the problem is growing worse.Traditional post-silicon debug methods concentrate on functional parts of systems and provide mechanisms to increase the observability of internal state of systems. Those methods may not be sufficient as modern SoCs have lots of blocks (processors, IP cores, etc.) which are communicating with one another and communication is another source of design errors. This tutorial will be provide an insight into various observability enhancement techniques, on chip instrumentation techniques and use of high level models to support the debug process targeting both inside blocks and communication among them. It will also cover the use of formal methods to help debug process.

Performance improvement of short-length regular low-density parity-check codes with low-complexity post-processing

It is well known that extremely long low-density parity-check (LDPC) codes perform exceptionally well for error correction applications, short-length codes are preferable in practical applications. However, short-length LDPC codes suffer from performance degradation owing to graph-based impairments such as short cycles, trapping sets and stopping sets and so on in the bipartite graph of the LDPC matrix. In particular, performance degradation at moderate to high E-b/N-0 is caused by the oscillations in bit node a posteriori probabilities induced by short cycles and trapping sets in bipartite graphs. In this study, a computationally efficient algorithm is proposed to improve the performance of short-length LDPC codes at moderate to high E-b/N-0. This algorithm makes use of the information generated by the belief propagation (BP) algorithm in previous iterations before a decoding failure occurs. Using this information, a reliability-based estimation is performed on each bit node to supplement the BP algorithm. The proposed algorithm gives an appreciable coding gain as compared with BP decoding for LDPC codes of a code rate equal to or less than 1/2 rate coding. The coding gains are modest to significant in the case of optimised (for bipartite graph conditioning) regular LDPC codes, whereas the coding gains are huge in the case of unoptimised codes. Hence, this algorithm is useful for relaxing some stringent constraints on the graphical structure of the LDPC code and for developing hardware-friendly designs.

A framework for post-silicon realization of arbitrary instruction extensions on reconfigurable data-paths

In this paper we present a framework for realizing arbitrary instruction set extensions (IE) that are identified post-silicon. The proposed framework has two components viz., an IE synthesis methodology and the architecture of a reconfigurable data-path for realization of the such IEs. The IE synthesis methodology ensures maximal utilization of resources on the reconfigurable data-path. In this context we present the techniques used to realize IEs for applications that demand high throughput or those that must process data streams. The reconfigurable hardware called HyperCell comprises a reconfigurable execution fabric. The fabric is a collection of interconnected compute units. A typical use case of HyperCell is where it acts as a co-processor with a host and accelerates execution of IEs that are defined post-silicon. We demonstrate the effectiveness of our approach by evaluating the performance of some well-known integer kernels that are realized as IEs on HyperCell. Our methodology for realizing IEs through HyperCells permits overlapping of potentially all memory transactions with computations. We show significant improvement in performance for streaming applications over general purpose processor based solutions, by fully pipelining the data-path. (C) 2014 Elsevier B.V. All rights reserved.

Post-earthquake behaviour of footings employing densification to mitigate liquefaction

In situ densification is a popular technique to protect shallow foundations from the effects of earthquake-induced liquefaction, current design being based on semiempirical rules. Poor understanding of the mechanisms governing the performance of soil-structure systems during and after earthquakes inhibits the use of narrow densified zones, which could contribute to optimise the use of densification if the increase in post-earthquake settlement is restrained. Therefore this paper investigates the long-term behaviour of a footing built on densified ground and surrounded by liquefiable ground, centrifuge experiments being used to identify the mechanisms occurring in the ground during and after a seismic simulation. The differential excess pore pressure generated in the ground during the shaking and the processes of vertical stress concentration and subsequent redistribution observed under the footing dominate the system behaviour. The results enlighten the complex mechanisms determining the post-earthquake settlement when densification is carried out to mitigate liquefaction effects. The improvement in performance resulting from widening the zone of densification is rationally explained which encourages the development of new design concepts that may enhance the future use of densification as a liquefaction resistance measure. © 2007 Thomas Telford Ltd.

Escala de Creencias Post-Críticas : análisis psicométrico para su aplicación al estudio de la religiosidad en Argentina

Resumen: Se analizan las propiedades psicométricas de la escala de creencias post-críticas (PCBS) en una muestra de 410 ciudadanos de 18 a 55 años de Córdoba/Argentina, seleccionados a partir de un muestreo no aleatorio. La escala fue traducida para el contexto local. A partir del uso complementario de Escalamiento Multidimensional y Análisis Factorial de componentes principales, se replican las dos dimensiones constitutivas de la PCBS (inclusión-exclusión en la trascendencia e interpretación literal-simbólica de los contenidos religiosos) y las cuatro sub-escalas propuestas: Crítica Externa, Segunda Ingenuidad, Ortodoxia, y Relativismo. El estudio reporta los índices de fiabilidad y la validez externa para cada una de éstas, y se discuten cuestiones operativas y conceptuales de su adecuación en Argentina.

Use of Sediment Bioassays to Verify Efficacy of Caulerpa taxifolia Eradication Treatments

Infestations of the marine macrophytic alga Caulerpa taxifolia were discovered in Agua Hedionda Lagoon, California in 2000. Rapid response actions included containment under pvc tarps coupled with injection of liquid sodium hypochlorite. To assess the efficacy of these treatments, replicated sediment cores were removed from representative treated sites and transferred to grow-out facilities. Similar cores from uninfested (control) sediments were removed, inoculated with viable explants of C. taxifolia and placed in grow-out facilities. Results from two sampling periods (1 year, 2 years post-treatment) showed that no viable C. taxifolia emerged in cores, and that inoculated “control” sediments supported normal growth. Eelgrass ( Zostera marina L.) seedlings emerged from native seed-banks in “treated” cores, which also supported growth of some invertebrates (annelid worms and hydroids). This study provided essential verification of C. taxifolia eradication efforts, and demonstrates the feasibility of incorporating quality control/quality assurance components in rapid response actions. Results of this study also suggest that seeds of eelgrass are viable for at least two years. (PDF has 9 pages.)

Post-larval feeding of Clarias gariepinus (Burchell, 1802) on cultured zooplankton and artemia diets

The findings are presented of a study undertaken to provide baseline information that may be employed to develop a simplified hatchery technique for postlarval feeding of Clarias gariepinus on zooplankton cultured indoors in small aquaria. Three series of experiments were undertaken to identify the type and quantity of organic manure that would produce maximum densities of zooplankton in the shortest time in indoor cultures. Results suggest the possibility of the culture of natural zooplankton populations for use in larval feeding of C. gariepinus fry. Its effective hatchery application would bring about reduction in the unit cost per fingerling and ensure continuous hatchery operations even in the absence of Artemia cysts

Assessment of post-harvest losses in Nigeria fishery: the Kainji Lake model

The paper provides a description of a methodology used for quantitative assessment of post harvest losses in the Kainji Lake Fishery (Nigeria). The sample population was made up of 314 fisherfolk, 115 processors, 125 fish buyers and 111 fish sellers. For the determination of handling losses, 24,839 fishes weighing 2,389.31 kg belonging to 43 species were examined of which 10% by number and 9% by weight deteriorated at checking and 4% by number and 3% by weight at landing. Processing losses recorded 22% by number and 16% by weight deteriorated prior to and during smoking with the traditional 'Banda' kiln. During marketing, 16% of fish sold had deteriorated and 6% by weight of fish bought also deteriorated, mainly due to insect infestation during storage. Based on the 1995 yield estimate for Kainji Lake fishery, approximately 1000 tons of fish estimated at 80 million Naira were lost during handling alone. This figure would be much higher if the level of losses during processing and marketing are included. This assessment technique is recommended for use in obtaining quantifiable data on post harvest losses from other water bodies in Nigeria

Carbon-carbon bond forming reactions from bis(carbene)-platinum(II) complexes and olefin polymerization and oligomerization using group 4 post-metallocene complexes

A long-standing challenge in transition metal catalysis is selective C–C bond coupling of simple feedstocks, such as carbon monoxide, ethylene or propylene, to yield value-added products. This work describes efforts toward selective C–C bond formation using early- and late-transition metals, which may have important implications for the production of fuels and plastics, as well as many other commodity chemicals.

The industrial Fischer-Tropsch (F-T) process converts synthesis gas (syngas, a mixture of CO + H₂) into a complex mixture of hydrocarbons and oxygenates. Well-defined homogeneous catalysts for F-T may provide greater product selectivity for fuel-range liquid hydrocarbons compared to traditional heterogeneous catalysts. The first part of this work involved the preparation of late-transition metal complexes for use in syngas conversion. We investigated C–C bond forming reactions via carbene coupling using bis(carbene)platinum(II) compounds, which are models for putative metal–carbene intermediates in F-T chemistry. It was found that C–C bond formation could be induced by either (1) chemical reduction of or (2) exogenous phosphine coordination to the platinum(II) starting complexes. These two mild methods afforded different products, constitutional isomers, suggesting that at least two different mechanisms are possible for C–C bond formation from carbene intermediates. These results are encouraging for the development of a multicomponent homogeneous catalysis system for the generation of higher hydrocarbons.

A second avenue of research focused on the design and synthesis of post-metallocene catalysts for olefin polymerization. The polymerization chemistry of a new class of group 4 complexes supported by asymmetric anilide(pyridine)phenolate (NNO) pincer ligands was explored. Unlike typical early transition metal polymerization catalysts, NNO-ligated catalysts produce nearly regiorandom polypropylene, with as many as 30-40 mol % of insertions being 2,1-inserted (versus 1,2-inserted), compared to <1 mol % in most metallocene systems. A survey of model Ti polymerization catalysts suggests that catalyst modification pathways that could affect regioselectivity, such as C–H activation of the anilide ring, cleavage of the amine R-group, or monomer insertion into metal–ligand bonds are unlikely. A parallel investigation of a Ti–amido(pyridine)phenolate polymerization catalyst, which features a five- rather than a six-membered Ti–N chelate ring, but maintained a dianionic NNO motif, revealed that simply maintaining this motif was not enough to produce regioirregular polypropylene; in fact, these experiments seem to indicate that only an intact anilide(pyridine)phenolate ligated-complex will lead to regioirregular polypropylene. As yet, the underlying causes for the unique regioselectivity of anilide(pyridine)phenolate polymerization catalysts remains unknown. Further exploration of NNO-ligated polymerization catalysts could lead to the controlled synthesis of new types of polymer architectures.

Finally, we investigated the reactivity of a known Ti–phenoxy(imine) (Ti-FI) catalyst that has been shown to be very active for ethylene homotrimerization in an effort to upgrade simple feedstocks to liquid hydrocarbon fuels through co-oligomerization of heavy and light olefins. We demonstrated that the Ti-FI catalyst can homo-oligomerize 1-hexene to C₁₂ and C₁₈ alkenes through olefin dimerization and trimerization, respectively. Future work will include kinetic studies to determine monomer selectivity by investigating the relative rates of insertion of light olefins (e.g., ethylene) vs. higher α-olefins, as well as a more detailed mechanistic study of olefin trimerization. Our ultimate goal is to exploit this catalyst in a multi-catalyst system for conversion of simple alkenes into hydrocarbon fuels.

Uptake and factors that influence the use of 'sit less, move more' occupational intervention strategies in Spanish office employees

Background: Little is known about the types of 'sit less, move more' strategies that appeal to office employees, or what factors influence their use. This study assessed the uptake of strategies in Spanish university office employees engaged in an intervention, and those factors that enabled or limited strategy uptake. Methods: The study used a mixed method design. Semi-structured interviews were conducted with academics and administrators (n = 12; 44 +/- 12 mean SD age; 6 women) at three points across the five-month intervention, and data used to identify factors that influenced the uptake of strategies. Employees who finished the intervention then completed a survey rating (n = 88; 42 +/- 8 mean SD age; 51 women) the extent to which strategies were used [never (1) to usually (4)]; additional survey items (generated from interviewee data) rated the impact of factors that enabled or limited strategy uptake [no influence (1) to very strong influence (4)]. Survey score distributions and averages were calculated and findings triangulated with interview data. Results: Relative to baseline, 67% of the sample increased step counts post intervention (n = 59); 60% decreased occupational sitting (n = 53). 'Active work tasks' and 'increases in walking intensity' were the strategies most frequently used by employees (89% and 94% sometimes or usually utilised these strategies); 'walk-talk meetings' and ` lunchtime walking groups' were the least used (80% and 96% hardly ever or never utilised these strategies). 'Sitting time and step count logging' was the most important enabler of behaviour change (mean survey score of 3.1 +/- 0.8); interviewees highlighted the motivational value of being able to view logged data through visual graphics in a dedicated website, and gain feedback on progress against set goals. 'Screen based work' (mean survey score of 3.2 +/- 0.8) was the most significant barrier limiting the uptake of strategies. Inherent time pressures and cultural norms that dictated sedentary work practices limited the adoption of 'walk-talk meetings' and ` lunch time walking groups'. Conclusions: The findings provide practical insights into which strategies and influences practitioners need to target to maximise the impact of 'sit less, move more' occupational intervention strategies.

A working guide to the assessment, implementation and post project monitoring of fisheries habitat improvement schemes in South Cumbria

Due to changes in land use over the last century, the physical nature of many streams and rivers in the British Isles has probably changed. In some cases this change may be large for example as a result of flood defence schemes and is easily observed, whilst in other cases altered land use, farming, forestry or urbanization may have resulted in more subtle changes to river features. This working guide draws together a way of assessing habitat in any stream or river and determine sites or reaches on the assessed watercourse that may benefit from habitat improvement schemes. It will determine a method of measuring existing habitat in a broad sense, whilst referring to R and D studies currently being undertaken in this area. A method of prioritising any proposed habitat restoration work will be suggested. The limitations of fisheries improvement schemes in terms of cross functional acceptance (flood defence and conservation) will be examined along with suggested proposals for some example watercourses. The need for pre and post enhancement monitoring will be discussed as will the requirement for maintenance programs on schemes. Finally methods for determining the cost benefits of small schemes will be examined, compared to other currently used enhancement strategies. This will allow small scale revenue schemes to be used to back up pre project cost benefit analysis as required in future capital submissions.

The use of role-play games in teaching: The International Climate Negotiation Game

This paper presents a role-play game designed by the authors, which focuses on international climate negotiations. The game has been used at a university with students all drawn from the same course and at summer schools with students from different levels (undergraduate, master’s and doctoral students and post-doctoral researchers) and different knowledge areas (economics, law, engineering, architecture, biology and others). We discuss how the game fits into the process of competence-based learning, and what benefits games, and role-play games in particular, have for teaching. In the game, students take on the role of representatives of national institutions and experience at first hand a detailed process of international negotiation concerned with climate change.

Fisheries rehabilitation in post-tsunami Aceh: Status and needs from participatory appraisals

The widespread and long-term nature of the tsunami damage in Aceh province, Indonesia has threatened the continued use of coastal and fisheries resources. This article describes the application of the Rapid Appraisal of Fisheries Management System (RAFMS) methodology and presents key findings from the participatory appraisals in 15 study sites. The focus is on changes in the number and types of fishing boats and fishing effort, consumption and marketing flow patterns and community perspectives on livelihood options. The level of aid (for new boats), mainly from international organizations, has been unevenly distributed with the number of boats in 13 of 15 villages still being well below the pre-tsunami levels. A focus on supplying small vessels may put increased fishing pressure on the near-shore zone. Consumption data and marketing flows suggest that most fishing villages are supplying outside markets and adding considerably to the wider food security of the province. Despite the tsunami, marine fisheries-related livelihoods are still preferred, although there are indications for the potential expansion of livelihoods into the culture of new species. Alternative resource-based livelihoods need to be tested and refined to fit the needs of the current conditions in Aceh to provide viable options for eliminating hunger and reducing poverty.

O post que é pista: análise crítica em blogs de professores de História

A popularização da Internet nos últimos anos é parte de diversas transformações no âmbito das comunicações humanas. Essas transformações também estão presentes na educação; e tanto instituições como seus profissionais vem buscando se atualizar em relações às inovações técnicas dos últimos tempos. Professores de História também integram esse quadro e foi percebida a presença de inúmeros deles na rede mundial de computadores. Uma dessas expressões se dá através da criação de blogs pessoais. Entendendo a utilização desta ferramenta como potencial para diversas reconfigurações na educação, esta pesquisa investigou como professores de História constroem suas práticas pedagógicas na rede. Para fundamentar a reflexão teórico-metodológica, foram utilizadas algumas das produções de Walter Benjamin, Guy Debord, Eni Orlandi e Norman Fairclough. Como metodologia de pesquisa, foi realizado um mapeamento de 122 blogs de professores de História da Educação Básica. Buscando um diálogo com o chamado método das constelações de Walter Benjamin (2006), foi construída uma constelação com os blogs mapeados e posteriormente, desenvolvida uma análise com contribuições da Análise Crítica do Discurso.