From FPGA to ASIC: A RISC-V processor experience

This work document a correct design flow using these tools in the Lagarto RISC- V Processor and the RTL design considerations that must be taken into account, to move from a design for FPGA to design for ASIC

Testing microelectronic biofluidic systems

According to the 2005 International Technology Roadmap for Semiconductors, the integration of emerging nondigital CMOS technologies will require radically different test methods, posing a major challenge for designers and test engineers. One such technology is microelectronic fluidic (MEF) arrays, which have rapidly gained importance in many biological, pharmaceutical, and industrial applications. The advantages of these systems, such as operation speed, use of very small amounts of liquid, on-board droplet detection, signal conditioning, and vast digital signal processing, make them very promising. However, testable design of these devices in a mass-production environment is still in its infancy, hampering their low-cost introduction to the market. This article describes analog and digital MEF design and testing method

Efficient Synthesis of Room Acoustics via Scattering Delay Networks

An acoustic reverberator consisting of a network of delay lines connected via scattering junctions is proposed. All parameters of the reverberator are derived from physical properties of the enclosure it simulates. It allows for simulation of unequal and frequency-dependent wall absorption, as well as directional sources and microphones. The reverberator renders the first-order reflections exactly, while making progressively coarser approximations of higher-order reflections. The rate of energy decay is close to that obtained with the image method (IM) and consistent with the predictions of Sabine and Eyring equations. The time evolution of the normalized echo density, which was previously shown to be correlated with the perceived texture of reverberation, is also close to that of IM. However, its computational complexity is one to two orders of magnitude lower, comparable to the computational complexity of a feedback delay network (FDN), and its memory requirements are negligible

Alternative hypotheses linking the immune system and mate choice for good genes

Why do males often have extravagant morphological and behavioural traits, and why do females prefer to mate with such males? The answers have been the focus of considerable debate since Darwin's 'The descent of man, and selection in relation to sex' appeared in 1871. Recently, the broadening of investigation to include fields outside evolutionary biology has shed new light on mate choice and sexual selection. Here, we focus on a specific set of hypotheses relating the biology of resisting disease-causing organisms with the production of condition-dependent sexual signals (advertisements). We present a framework that distinguishes three different hypotheses about trade-offs within the immune system that affect general condition. The original Hamilton & Zuk hypothesis suggests that hosts fight off disease via resistance to particular pathogens, which lowers resistance to other pathogens. Changes in pathogens over evolutionary time in turn favours changes in which genes confer the best resistance. Alternatively, the immunocompetence hypotheses suggest that the energetic costs of mounting a response to any pathogen compete for resources with other things, such as producing or maintaining advertisements. Finally, improving resistance to pathogens could increase the negative impacts of the immune system on the host, via immunopathologies such as allergies or autoimmune diseases. If both disease and immunopathology affect condition, then sexual advertisements could signal a balance between the two. Studies of hypothesized links between genes, condition, the immune system and advertisements will require careful consideration of which hypothesis is being considered, and may necessitate different measures of immune system responses and different experimental protocols

Using GPS telemetry to validate least-cost modeling of gray squirrel ( Sciurus carolinensis) movement within a fragmented landscape

In Britain, the population of native red squirrels Sciurus vulgaris has suffered population declines and local extinctions. Interspecific resource competition and disease spread by the invasive gray squirrel Sciurus carolinensis are the main factors behind the decline. Gray squirrels have adapted to the British landscape so efficiently that they are widely distributed. Knowledge on how gray squirrels are using the landscape matrix and being able to predict their movements will aid management. This study is the first to use global positioning system (GPS) collars on wild gray squirrels to accurately record movements and land cover use within the landscape matrix. This data were used to validate Geographical Information System (GIS) least-cost model predictions of movements and provided much needed information on gray squirrel movement pathways and network use. Buffered least-cost paths and least-cost corridors provide predictions of the most probable movements through the landscape and are seen to perform better than the more expansive least-cost networks which include all possible movements. Applying the knowledge and methodologies gained to current gray squirrel expansion areas, such as Scotland and in Italy, will aid in the prediction of potential movement areas and therefore management of the invasive gray squirrel. The methodologies presented in this study could potentially be used in any landscape and on numerous species

Run-time Spatial Mapping of Streaming Applications to Heterogeneous Multi-Processor Systems

In this paper, we define the problem of spatial mapping. We present reasons why performing spatial mappings at run-time is both necessary and desirable. We propose what is—to our knowledge—the first attempt at a formal description of spatial mappings for the embedded real-time streaming application domain. Thereby, we introduce criteria for a qualitative comparison of these spatial mappings. As an illustration of how our formalization relates to practice, we relate our own spatial mapping algorithm to the formal model