Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • 2005-2009
  • 1995-1999  (4)
  • Gene family  (2)
  • assertion test generation  (2)
  • 1
    ISSN: 1432-2242
    Keywords: Barley DNA ; (1→3)-β-Glucanase ; Linkage map ; Pathogenesis-related proteins ; Gene family
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology
    Notes: Abstract Members of the (1→3)-β-glucan glucanohydrolase (EC 3.2.1.39) gene family have been mapped on the barley genome using three doubled haploid populations and seven wheat-barley addition lines. Specific probes or polymerase chain reaction (PCR) primers were generated for the seven barley (1→3)-β-glucanase genes for which cDNA or genomic clones are currently available. The seven genes are all located on the long arm of chromosome 3 (3HL), and genes encoding isoenzymes GI, GII, GIII, GIV, GV and GVII (ABG2) are clustered in a region less than 20 cM in length. The region is flanked by the RFLP marker MWG2099 on the proximal side and the Barley Yellow Mosaic Virus (BYMV) resistance gene ym4 at the distal end. The gene encoding isoenzyme GVI lies approximately 50 cM outside this cluster, towards the centromere. With the exception of the gene encoding isoenzyme GIV, all of the (1→3)-β-glucanase genes are represented by single copies on the barley genome. The probe for the isoenzyme GIV gene hybridized with four DNA bands during Southern blot analysis, only one of which could be incorporated into the consensus linkage map.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    ISSN: 1432-2242
    Keywords: Key words  Barley DNA ; (1→3)-β-Glucanase ; Linkage map ; Pathogenesis-related proteins ; Gene family
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology
    Notes: Abstract   Members of the (1→3)-β-glucan glucanohydrolase (EC 3.2.1.39) gene family have been mapped on the barley genome using three doubled haploid populations and seven wheat-barley addition lines. Specific probes or polymerase chain reaction (PCR) primers were generated for the seven barley (1→3)-β-glucanase genes for which cDNA or genomic clones are currently available. The seven genes are all located on the long arm of chromosome 3 (3HL), and genes encoding isoenzymes GI, GII, GIII, GIV, GV and GVII (ABG2) are clustered in a region less than 20 cM in length. The region is flanked by the RFLP marker MWG2099 on the proximal side and the Barley Yellow Mosaic Virus (BYMV) resistance gene ym4 at the distal end. The gene encoding isoenzyme GVI lies approximately 50 cM outside this cluster, towards the centromere. With the exception of the gene encoding isoenzyme GIV, all of the (1→3)-β-glucanase genes are represented by single copies on the barley genome. The probe for the isoenzyme GIV gene hybridized with four DNA bands during Southern blot analysis, only one of which could be incorporated into the consensus linkage map.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Journal of electronic testing 15 (1999), S. 191-205 
    ISSN: 1573-0727
    Keywords: array ; logic verification ; design error ; symbolic trajectory evaluation ; assertion ; assertion test generation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract Design validation for embedded arrays remains as a challenging problem in today's microprocessor design environment. Although several methods for validating embedded arrays have been proposed, not much has been done to characterize the strengths and weaknesses of these methods. This paper provides a comprehensive study of various design validation approaches adopted at the Somerset PowerPC Design Center in the past, including methods from both formal verification and test generation. Effectiveness of these approaches will be measured based on automatic design error injection and simulation at both gate and transistor levels. Experience of using different validation approaches on recent PowerPC microprocessor arrays will be analyzed and discussed.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Journal of electronic testing 13 (1998), S. 121-135 
    ISSN: 1573-0727
    Keywords: high-level test generation ; assertion test generation ; design validation ; logic verification ; symbolic trajectory evaluation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract Test and validation of embedded array blocks remains a major challenge in today's microprocessor design environment. The difficulty comes from twofold, the sizes of the arrays and the complexity of their timing and control. This paper describes a novel test generation methodology for test and validation of microprocessor embedded arrays. Unlike traditional ATPG methods, our test generation method is based upon the high-level assertion specification which is originally used for the purpose of formal verification. The superiority of these assertion tests over the traditional ATPG tests will be discussed and shown through various experiments on recent PowerPC microprocessor designs.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...