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.

Understanding of auditory discourse in older adults: the effects of syntax and working memory

Background: As people age, language-processing ability changes. While several factors modify discourse comprehension ability in older adults, syntactic complexity of auditory discourse has received scant attention. This is despite the widely researched domain of syntactic processing of single sentences in older adults. Aims: The aims of this study were to investigate the ability of healthy older adults to understand stories that differed in syntactic complexity, and its relation to working memory. Methods & Procedures: A total of 51 healthy adults (divided into three age groups) took part. They listened to brief stories (syntactically simple and syntactically complex) and had to respond to false/true comprehension probes following each story. Working memory capacity (digit span, forward and backward) was also measured. Outcomes & Results: Differences were found in the ability of healthy older adults to understand simple and complex discourse. The complex discourse in particular was more sensitive in discerning age-related language patterns. Only the complex discourse task correlated moderately with age. There was no correlation between age and simple discourse. As far as working memory is concerned, moderate correlations were found between working memory and complex discourse. Education did not correlate with discourse, neither simple, nor complex. Conclusions: Older adults may be less efficient in forming syntactically complex representations and this may be influenced by limitations in working memory.

Career journeys and turning points of senior female managers in small construction firms

There is under-representation of senior female managers within small construction firms in the United Kingdom. The position is denying the sector a valuable pool of labour to address acute knowledge and skill shortages. Grounded theory on the career progression of senior female managers in these firms is developed from biographical interviews. First, a turning point model which distinguishes the interplay between human agency and work/home structure is given. Second, four career development phases are identified. The career journeys are characterized by ad hoc decisions and opportunities which were not influenced by external policies aimed at improving the representation of women in construction. Third, the 'hidden', but potentially significant, contribution of women-owned small construction firms is noted. The key challenge for policy and practice is to balance these external approaches with recognition of the 'inside out' reality of the 'lived experiences' of female managers. To progress this agenda there is a need for: appropriate longitudinal statistical data to quantify the scale of senior female managers and owners of small construction firms over time; and, social construction and gendered organizational analysis research to develop a general discourse on gender difference with these firms.

Subjectively construed identities and discourse: towards a research agenda for construction management

Identity issues are under-explored in construction management. We provide a brief introduction to the organization studies literature on subjectively construed identities, focusing on discourse, agency, relations of power and identity work. The construction management literature is investigated in order to examine identity concerns as they relate to construction managers centred on (1) professionalism; (2) ethics; (3) relational aspects of self-identity; (4) competence, knowledge and tools; and (5) national culture. Identity, we argue, is a key performance issue, and needs to be accounted for in explanations of the success and failure of projects. Our overriding concern is to raise identity issues in order to demonstrate their importance to researchers in construction management and to spark debate. The purpose of this work is not to provide answers or to propose prescriptive models, but to explore ideas, raise awareness and to generate questions for further programmatic research. To this end, we promote empirical work and theorizing by outlining elements of a research agenda which argues that 'identity' is a potentially generative theme for scholars in construction management.

Physiological and proteomic approaches to address heat tolerance during anthesis in rice (Oryza sativa L.)

Episodes of high temperature at anthesis, which in rice is the most sensitive stage to temperature, are expected to occur more frequently in future climates. The morphology of the reproductive organs and pollen number, and changes in anther protein expression, were studied in response to high temperature at anthesis in three rice (Oryza sativa L.) genotypes. Plants were exposed to 6 h of high (38 °C) and control (29 °C) temperature at anthesis and spikelets collected for morphological and proteomic analysis. Moroberekan was the most heat-sensitive genotype (18% spikelet fertility at 38 °C), while IR64 (48%) and N22 (71%) were moderately and highly heat tolerant, respectively. There were significant differences among the genotypes in anther length and width, apical and basal pore lengths, apical pore area, and stigma and pistil length. Temperature also affected some of these traits, increasing anther pore size and reducing stigma length. Nonetheless, variation in the number of pollen on the stigma could not be related to measured morphological traits. Variation in spikelet fertility was highly correlated (r=0.97, n=6) with the proportion of spikelets with ≥20 germinated pollen grains on the stigma. A 2D-gel electrophoresis showed 46 protein spots changing in abundance, of which 13 differentially expressed protein spots were analysed by MS/MALDI-TOF. A cold and a heat shock protein were found significantly up-regulated in N22, and this may have contributed to the greater heat tolerance of N22. The role of differentially expressed proteins and morphology during anther dehiscence and pollination in shaping heat tolerance and susceptibility is discussed.