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.

Extension of the core map of common bean with EST-SSR, RGA, AFLP, and putative functional markers

Microsatellites and gene-derived markers are still underrepresented in the core molecular linkage map of common bean compared to other types of markers. In order to increase the density of the core map, a set of new markers were developed and mapped onto the RIL population derived from the `BAT93` x `Jalo EEP558` cross. The EST-SSR markers were first characterized using a set of 24 bean inbred lines. On average, the polymorphism information content was 0.40 and the mean number of alleles per locus was 2.7. In addition, AFLP and RGA markers based on the NBS-profiling method were developed and a subset of the mapped RGA was sequenced. With the integration of 282 new markers into the common bean core map, we were able to place markers with putative known function in some existing gaps including regions with QTL for resistance to anthracnose and rust. The distribution of the markers over 11 linkage groups is discussed and a newer version of the common bean core linkage map is proposed.

Formal methods within a totally functional approach to programming

Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.

Changes in slow and fast alpha bands in subjects submitted to different amounts of functional electrostimulation

Objective: To examine the changes in slow (8-10 Hz)and fast (10-12 Hz) alpha bands of EEG in three groups of subjects submitted to different amounts of functional electrostimulation (FES). Our hypothesis is that different amounts of electrostimulation may cause different patterns of activation in the sensorimotor cortex. In particular, we expect to see an increase in alpha power due to habituation effects. We examine the two bands comprised by alpha rhythm (i.e., slow and fast alpha), since these two sub-rhythms are related to distinct aspects: general energy demands and specific motor aspects, respectively. Methods: The sample was composed of 27 students, both sexes, aging between 25 and 40 years old. The subjects were randomly distributed in three groups: control (n = 9), G24 (n = 9) and G36 (n = 9). A FES equipment (Neuro Compact-2462) was used to stimulate the right index finger extension. Simultaneously, the electroencephalographic signal was acquired. We investigated the absolute power in slow and fast alpha bands in the sensorimotor cortex. Results: The G36 indicated a significant increasing in absolute power values in lower and higher alpha components, respectively, when compared with the control group. Particularly, in the following regions: pre-motor cortex and primary motor cortex. Discussion: FES seems to promote cortical adaptations that are similar to those observed when someone learns a procedural task. FES application in the G36 was more effective in promoting such neural changes. The lower and higher components of alpha rhythms behave differently in their topographical distribution during FES application. These results suggest a somatotopic organization in primary motor cortex which can be represented by the fast alpha component. (C) 2008 Elsevier Ireland Ltd. All rights reserved.

Patterns of community integration 2-5 years post-discharge from brain injury rehabilitation

Outcome after traumatic brain injury (TBI) is characterized by a high degree of variability which has often been difficult to capture in traditional outcome studies. The purpose of this study was to describe patterns of community integration 2-5 years after TBI. Participants were 208 patients admitted to a Brain Injury Rehabilitation Unit between 1991-1995 in Brisbane, Australia. The design comprised retrospective data collection and questionnaire follow-up by mail. Mean follow-up was 3.5 years. Demographic, injury severity and functional status variables were retrieved from hospital records. Community integration was assessed using the Community Integration Questionnaire (CIQ), and vocational status measured by a self administered questionnaire. Data was analysed using cluster analysis which divided the data into meaningful subsets. Based on the CIQ subscale scores of home, social and productive integration, a three cluster solution was selected, with groups labelled as working (n = 78), balanced (n = 46) and poorly integrated (n = 84). Although 38% of the sample returned to a high level of productive activity and 22% achieved a balanced lifestyle, overall community integration was poor for the remainder. This poorly integrated group had more severe injury characterized by longer periods of acute care and post-traumatic amnesia (PTA) and greater functional disability on discharge. These findings have implications for service delivery prior to and during the process of reintegration after brain injury.

Motor and functional skills of children with developmental coordination disorder: A pilot investigation of measurement issues

This paper reports on the motor and functional outcomes of 20 children with developmental coordination disorder (DCD) aged 4-8 years consecutively referred to a pediatric physiotherapy service. Children with a Movement ABC (M-ABC) score less than the 15th percentile, and with no concurrent medical, sensory, physical, intellectual or neurological impairments, were recruited. The Motor Assessment Outcomes Model (MAOM) [Coster and Haley, Infants and Young Children 4 (1992) 11] provided the theoretical base for measurement selection, and preliminary findings at the activities and participation levels of the model are reported in this article. Children with DCD performed at the lower end of the normal range on the Pea-body Developmental Motor Scales (fine motor total score) (M = 85.65, SD = 12.23). Performance on the Visual Motor Integration Test (VMI) standard scores was within the average range (M = 96.15, SD = 10.69). Videotaped observations of the children's writing and cutting indicated that 29% were left-handed and that a large proportion of all children (31%) utilized unusual pencil grasp patterns and immature prehension of scissors. Measurement at the participation level involved use of the Pictorial Scale of Perceived Competence and Social Acceptance (PCSA) and Pediatric Evaluation of Disability Inventory (PEDI). Overall, these young children rated themselves towards the more competent and accepted end of the PCSA over the dimensions of physical and cognitive competence and peer and maternal acceptance. The PEDI revealed generally average performance on social (M = 49.98, SD = 16.62) and mobility function (M = 54.71, SD = 3.99), however, self-care function was below the average range for age (M = 38.01, SD = 12.19). The utility of the MAOM as a framework for comprehensive measurement of functional and motor outcomes of DCD in young children is discussed. (C) 2003 Elsevier B.V. All rights reserved.

Design and implementation of 3D buildings integration for a Webgl-Based Virtual Globe: a case study of Valencian Cadastre and Fide Building Mode

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Supply chain integration model: practices and customer values

Dissertation to obtain PhD in Industrial Engineering

Fixed-mobile integration

Often, fixed-line incumbents also own the largest mobile network. We consider the effect of this joint ownership on market outcomes. Our model predicts that while fixed-to-mobile call prices to the integrated mobile network are more efficient than under separation, those to rival mobile networks are distorted upwards, amplifying any incumbency advantage. As concerns potential remedies, a uniform off-net pricing constraint leads to higher welfare than functional separation and even allows to maintain some of the efficiency gains.

Longitudinal evaluation, acceptability and long-term retention of knowledge on a horizontally integrated organic and functional systems course

Undergraduate medical education is moving from traditional disciplinary basic science courses into more integrated curricula. Integration models based on organ systems originated in the 1950s, but few longitudinal studies have evaluated their effectiveness. This article outlines the development and implementation of the Organic and Functional Systems (OFS) courses at the University of Minho in Portugal, using evidence collected over 10 years. It describes the organization of content, student academic performance and acceptability of the courses, the evaluation of preparedness for future courses and the retention of knowledge on basic sciences. Students consistently rated the OFS courses highly. Physician tutors in subsequent clinical attachments considered that students were appropriately prepared. Performance in the International Foundations of Medicine examination of a self-selected sample of students revealed similar performances in basic science items after the last OFS course and 4 years later, at the moment of graduation. In conclusion, the organizational and pedagogical approaches of the OFS courses achieve high acceptability by students and result in positive outcomes in terms of preparedness for subsequent training and long-term retention of basic science knowledge.

Directed integration of new insulated lentiviral vectors to heterochromatin towards safer gene transfer to stem cells

The need for better gene transfer systems towards improved risk=benefit balance for patients remains a major challenge in the clinical translation of gene therapy (GT). We have investigated the improvement of integrating vectors safety in combining (i) new short synthetic genetic insulator elements (GIE) and (ii) directing genetic integration to heterochromatin. We have designed SIN-insulated retrovectors with two candidate GIEs and could identify a specific combination of insulator 2 repeats which translates into best functional activity, high titers and boundary effect in both gammaretro (p20) and lentivectors (DCaro4) (see Duros et al, abstract ibid). Since GIEs are believed to shield the transgenic cassette from inhibitory effects and silencing, DCaro4 has been further tested with chimeric HIV-1 derived integrases which comprise C-ter chromodomains targeting heterochromatin through either histone H3 (ML6chimera) or methylatedCpGislands (ML10). With DCaro4 only and both chimeras, a homogeneous expression is evidenced in over 20% of the cells which is sustained over time. With control lentivectors, less than 2% of cells express GFP as compared to background using a control double-mutant in both catalytic and ledgf binding-sites; in addition, a two-times increase of expression can be induced with histone deacetylase inhibitors. Our approach could significantly reduce integration into open chromatin sensitive sites in stem cells at the time of transduction, a feature which might significantly decrease subsequent genotoxicity, according to X-SCIDs patients data.Work performed with the support of EC-DG research within the FP6-Network of Excellence, CLINIGENE: LSHB-CT-2006-018933

Identification and analysis of functional elements in 1% of the human genome by the ENCODE pilot project.

We report the generation and analysis of functional data from multiple, diverse experiments performed on a targeted 1% of the human genome as part of the pilot phase of the ENCODE Project. These data have been further integrated and augmented by a number of evolutionary and computational analyses. Together, our results advance the collective knowledge about human genome function in several major areas. First, our studies provide convincing evidence that the genome is pervasively transcribed, such that the majority of its bases can be found in primary transcripts, including non-protein-coding transcripts, and those that extensively overlap one another. Second, systematic examination of transcriptional regulation has yielded new understanding about transcription start sites, including their relationship to specific regulatory sequences and features of chromatin accessibility and histone modification. Third, a more sophisticated view of chromatin structure has emerged, including its inter-relationship with DNA replication and transcriptional regulation. Finally, integration of these new sources of information, in particular with respect to mammalian evolution based on inter- and intra-species sequence comparisons, has yielded new mechanistic and evolutionary insights concerning the functional landscape of the human genome. Together, these studies are defining a path for pursuit of a more comprehensive characterization of human genome function.

Development of spatial integration depends on top-down and interhemispheric connections that can be perturbed in migraine: a DCM analysis.

In humans, spatial integration develops slowly, continuing through childhood into adolescence. On the assumption that this protracted course depends on the formation of networks with slowly developing top-down connections, we compared effective connectivity in the visual cortex between 13 children (age 7-13) and 14 adults (age 21-42) using a passive perceptual task. The subjects were scanned while viewing bilateral gratings, which either obeyed Gestalt grouping rules [colinear gratings (CG)] or violated them [non-colinear gratings (NG)]. The regions of interest for dynamic causal modeling were determined from activations in functional MRI contrasts stimuli > background and CG > NG. They were symmetrically located in V1 and V3v areas of both hemispheres. We studied a common model, which contained reciprocal intrinsic and modulatory connections between these regions. An analysis of effective connectivity showed that top-down modulatory effects generated at an extrastriate level and interhemispheric modulatory effects between primary visual areas (all inhibitory) are significantly weaker in children than in adults, suggesting that the formation of feedback and interhemispheric effective connections continues into adolescence. These results are consistent with a model in which spatial integration at an extrastriate level results in top-down messages to the primary visual areas, where they are supplemented by lateral (interhemispheric) messages, making perceptual encoding more efficient and less redundant. Abnormal formation of top-down inhibitory connections can lead to the reduction of habituation observed in migraine patients.