Behavioral synthesis from VHDL using structured modeling

This dissertation describes work in behavioral synthesis involving the development of a VHDL Synthesis System VSS which accepts a VHDL behavioral input specification and performs technology independent synthesis to generate a circuit netlist of generic components. The VHDL language is used for input and output descriptions. An intermediate representation which incorporates signal typing and component attributes simplifies compilation and facilitates design optimization.A Structured Modeling methodology has been developed to suggest standard VHDL modeling practices for synthesis. Structured modeling provides recommendations for the use of available VHDL description styles so that optimal designs will be synthesized.A design composed of generic components is synthesized from the input description through a process of Graph Compilation, Graph Criticism, and Design Compilation. Experiments were performed to demonstrate the effects of different modeling styles on the quality of the design produced by VSS. Several alternative VHDL models were examined for each benchmark, illustrating the improvements in design quality achieved when Structured Modeling guidelines were followed

Chippe : a system for constraint driven behavioral synthesis

This report describes the Chippe system, gives some background previous work and describes several sample design runs of the system. Also presented are the sources of the design tradeoffs used by Chippe, and overview of the internal design model, and experiences using the system

Immune or genetic-mediated disruption of CASPR2 causes pain hypersensitivity due to enhanced primary afferent excitability

Human autoantibodies to contactin-associated protein-like 2 (CASPR2) are often associated with neuropathic pain, and CASPR2 mutations have been linked to autism spectrum disorders, in which sensory dysfunction is increasingly recognized. Human CASPR2 autoantibodies, when injected into mice, were peripherally restricted and resulted in mechanical pain-related hypersensitivity in the absence of neural injury. We therefore investigated the mechanism by which CASPR2 modulates nociceptive function. Mice lacking CASPR2 (Cntnap2 ) demonstrated enhanced pain-related hypersensitivity to noxious mechanical stimuli, heat, and algogens. Both primary afferent excitability and subsequent nociceptive transmission within the dorsal horn were increased in Cntnap2 mice. Either immune or genetic-mediated ablation of CASPR2 enhanced the excitability of DRG neurons in a cell-autonomous fashion through regulation of Kv1 channel expression at the soma membrane. This is the first example of passive transfer of an autoimmune peripheral neuropathic pain disorder and demonstrates that CASPR2 has a key role in regulating cell-intrinsic dorsal root ganglion (DRG) neuron excitability

Aerospace medicine and biology: A continuing bibliography with indexes (supplement 352)

This bibliography lists 147 reports, articles and other documents introduced into the NASA Scientific and Technical Information System during July 1991. Subject coverage includes: aerospace medicine and psychology, life support systems and controlled environments, safety equipment, exobiology and extraterrestrial life, and flight crew behavior and performance

A proposed synthesis method for Application-Specific Instruction Set Processors

Due to the rapid technology advancement in integrated circuit era, the need for the high computation performance together with increasing complexity and manufacturing costs has raised the demand for high-performance con fi gurable designs; therefore, the Application-Speci fi c Instruction Set Processors (ASIPs) are widely used in SoC design. The automated generation of software tools for ASIPs is a commonly used technique, but the automated hardware model generation is less frequently applied in terms of fi nal RTL implementations. Contrary to this, the fi nal register-transfer level models are usually created, at least partly, manually. This paper presents a novel approach for automated hardware model generation for ASIPs. The new solution is based on a novel abstract ASIP model and a modeling language (Algorithmic Microarchitecture Description Language, AMDL) optimized for this architecture model. The proposed AMDL-based pre-synthesis method is based on a set of pre-de fi ned VHDL implementation schemes, which ensure the qualities of the automatically generated register-transfer level models in terms of resource requirement and operation frequency. The design framework implementing the algorithms required by the synthesis method is also presented

UML as a system level design methodology with application to software radio

Master'sMASTER OF SCIENC

Lactation and neonatal nutrition: defining and refining the critical questions.

This paper resulted from a conference entitled "Lactation and Milk: Defining and refining the critical questions" held at the University of Colorado School of Medicine from January 18-20, 2012. The mission of the conference was to identify unresolved questions and set future goals for research into human milk composition, mammary development and lactation. We first outline the unanswered questions regarding the composition of human milk (Section I) and the mechanisms by which milk components affect neonatal development, growth and health and recommend models for future research. Emerging questions about how milk components affect cognitive development and behavioral phenotype of the offspring are presented in Section II. In Section III we outline the important unanswered questions about regulation of mammary gland development, the heritability of defects, the effects of maternal nutrition, disease, metabolic status, and therapeutic drugs upon the subsequent lactation. Questions surrounding breastfeeding practice are also highlighted. In Section IV we describe the specific nutritional challenges faced by three different populations, namely preterm infants, infants born to obese mothers who may or may not have gestational diabetes, and infants born to undernourished mothers. The recognition that multidisciplinary training is critical to advancing the field led us to formulate specific training recommendations in Section V. Our recommendations for research emphasis are summarized in Section VI. In sum, we present a roadmap for multidisciplinary research into all aspects of human lactation, milk and its role in infant nutrition for the next decade and beyond