Bibliothek

feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • Analytical Chemistry and Spectroscopy  (4)
  • logic verification  (2)
  • symbolic trajectory evaluation  (2)
  • 1
    Digitale Medien
    Digitale Medien
    Springer
    Journal of electronic testing 15 (1999), S. 191-205 
    ISSN: 1573-0727
    Schlagwort(e): array ; logic verification ; design error ; symbolic trajectory evaluation ; assertion ; assertion test generation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Elektrotechnik, Elektronik, Nachrichtentechnik
    Notizen: 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.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Digitale Medien
    Digitale Medien
    Springer
    Journal of electronic testing 13 (1998), S. 121-135 
    ISSN: 1573-0727
    Schlagwort(e): high-level test generation ; assertion test generation ; design validation ; logic verification ; symbolic trajectory evaluation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Elektrotechnik, Elektronik, Nachrichtentechnik
    Notizen: 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.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Digitale Medien
    Digitale Medien
    New York, NY : Wiley-Blackwell
    Rapid Communications in Mass Spectrometry 7 (1993), S. 360-362 
    ISSN: 0951-4198
    Schlagwort(e): Chemistry ; Analytical Chemistry and Spectroscopy
    Quelle: Wiley InterScience Backfile Collection 1832-2000
    Thema: Physik
    Notizen: The production of carbon clusters (but not fullerenes) from coal-derived material by the use of laser desorption mass spectrometry is described. Benzo(e)pyrene, a standard polynuclear hydrocarbon found in coal tars, also gave carbon clusters despite using low laser power to avoid pyrolysis of target molecules. Positive- and negative-ion spectra of the standard included carbon clusters. These clusters are formed by the laser energy and can be confused with aromatic hydrocarbons of the same nominal masses. They have no relevance for studies of coal structure.
    Zusätzliches Material: 3 Ill.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Digitale Medien
    Digitale Medien
    New York, NY : Wiley-Blackwell
    Rapid Communications in Mass Spectrometry 5 (1991), S. 364-367 
    ISSN: 0951-4198
    Schlagwort(e): Chemistry ; Analytical Chemistry and Spectroscopy
    Quelle: Wiley InterScience Backfile Collection 1832-2000
    Thema: Physik
    Notizen: The use of a laser-desorption mass spectrometer to examine a coal liquefaction extract known to contain high-molecular-mass material (from size-exclusion chromatography) has shown the presence of components of molecular mass in excess of 104Da for the first time. The molecules detected differ from each other in molecular mass by a few hundred or a few thousand Da. These preliminary results indicate that the basic coal-structure molecules probably consist of aromatic clusters on a chin, in reasonable agreement with current theories of coal structure.
    Zusätzliches Material: 2 Ill.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    ISSN: 0951-4198
    Schlagwort(e): Chemistry ; Analytical Chemistry and Spectroscopy
    Quelle: Wiley InterScience Backfile Collection 1832-2000
    Thema: Physik
    Notizen: Molecular masses up to 270 000 u have been observed during matrix-assisted laser desorption mass spectroscopy on a sample of bituminous coal; the major fraction of desorbed ions appeared between m/z values of 800 and 5000. Similar mass distributions have been found in a coal-liquefaction extract and a pyrolysis tar. The highest molecular masses identified in this work far exceed previously reported high molecular masses found in coal-derived products (12 000 u), which were also detected by laser-desorption mass spectrometry.
    Zusätzliches Material: 2 Ill.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    ISSN: 0749-1581
    Schlagwort(e): Through-space couplings ; Carbon-fluorine couplings ; Polycyclic aromatics ; Distance dependence ; Electronic effects ; Chemistry ; Analytical Chemistry and Spectroscopy
    Quelle: Wiley InterScience Backfile Collection 1832-2000
    Thema: Chemie und Pharmazie
    Notizen: The helical molecule 1-fluorobenzo[ c] phenanthrene shows a large (17.4 Hz) 13C-19F coupling resulting primarily from direct through-space overlap between a fluorine lone pair and the sterically opposed C—H bond. After application of corrections for estimated through-bond contributions, comparison of the magnitude of this coupling with the analogous couplings in 4-fluorophenanthrene, 10-fluorobenzo[ a] pyrene, 11-fluoro-5-methylchrysene and 7-fluorobenzo[b] fluoranthene reveals an exponential decrease with increasing H … F internuclear distance, consistent with theoretical predictions. No evidence was found for an angular dependence of the coupling. HETCOR experiments showed the signs of n+1J(HF) in 1-fluorobenzo[ c] phenanthrene, 4-fluorophenanthrene, 10-fluorobenzo[ a] pyrene and 11-fluoro-5-methylchrysene to be opposite to those of the corresponding nJ(CF), hence negative. Substituents at both positions 4 (para to fluorine) and 9 (para to the sterically opposed C—H bond) exert only a minor influence on 5J(CF), the couplings in the latter series responding largely to sterically induced distortions of the molecular framework, and in the former series to both steric distortions and an electronic effect. The difference in 5J(CF) between isomers is a measure of the electronic effect of the substituent. Electron-withdrawing substituents para to fluorine reduce the magnitude of the through-space coupling whereas electron-releasing substituents increase the coupling.
    Zusätzliches Material: 2 Ill.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...