---
_id: '27841'
abstract:
- lang: eng
  text: Verification of software and processor hardware usually proceeds separately,
    software analysis relying on the correctness of processors executing machine instructions.
    This assumption is valid as long as the software runs on standard CPUs that have
    been extensively validated and are in wide use. However, for processors exploiting
    custom instruction set extensions to meet performance and energy constraints the
    validation might be less extensive, challenging the correctness assumption. In
    this paper we present a novel formal approach for hardware/software co-verification
    targeting processors with custom instruction set extensions. We detail two different
    approaches for checking whether the hardware fulfills the requirements expected
    by the software analysis. The approaches are designed to explore a trade-off between
    generality of the verification and computational effort. Then, we describe the
    integration of software and hardware analyses for both techniques and describe
    a fully automated tool chain implementing the approaches. Finally, we demonstrate
    and compare the two approaches on example source code with custom instructions,
    using state-of-the-art software analysis and hardware verification techniques.
author:
- first_name: Marie-Christine
  full_name: Jakobs, Marie-Christine
  last_name: Jakobs
- first_name: Felix
  full_name: Pauck, Felix
  id: '22398'
  last_name: Pauck
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
- first_name: Tobias
  full_name: Wiersema, Tobias
  id: '3118'
  last_name: Wiersema
citation:
  ama: Jakobs M-C, Pauck F, Platzner M, Wehrheim H, Wiersema T. Software/Hardware
    Co-Verification for Custom Instruction Set Processors. <i>IEEE Access</i>. Published
    online 2021. doi:<a href="https://doi.org/10.1109/ACCESS.2021.3131213">10.1109/ACCESS.2021.3131213</a>
  apa: Jakobs, M.-C., Pauck, F., Platzner, M., Wehrheim, H., &#38; Wiersema, T. (2021).
    Software/Hardware Co-Verification for Custom Instruction Set Processors. <i>IEEE
    Access</i>. <a href="https://doi.org/10.1109/ACCESS.2021.3131213">https://doi.org/10.1109/ACCESS.2021.3131213</a>
  bibtex: '@article{Jakobs_Pauck_Platzner_Wehrheim_Wiersema_2021, title={Software/Hardware
    Co-Verification for Custom Instruction Set Processors}, DOI={<a href="https://doi.org/10.1109/ACCESS.2021.3131213">10.1109/ACCESS.2021.3131213</a>},
    journal={IEEE Access}, publisher={IEEE}, author={Jakobs, Marie-Christine and Pauck,
    Felix and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}, year={2021}
    }'
  chicago: Jakobs, Marie-Christine, Felix Pauck, Marco Platzner, Heike Wehrheim, and
    Tobias Wiersema. “Software/Hardware Co-Verification for Custom Instruction Set
    Processors.” <i>IEEE Access</i>, 2021. <a href="https://doi.org/10.1109/ACCESS.2021.3131213">https://doi.org/10.1109/ACCESS.2021.3131213</a>.
  ieee: 'M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, and T. Wiersema, “Software/Hardware
    Co-Verification for Custom Instruction Set Processors,” <i>IEEE Access</i>, 2021,
    doi: <a href="https://doi.org/10.1109/ACCESS.2021.3131213">10.1109/ACCESS.2021.3131213</a>.'
  mla: Jakobs, Marie-Christine, et al. “Software/Hardware Co-Verification for Custom
    Instruction Set Processors.” <i>IEEE Access</i>, IEEE, 2021, doi:<a href="https://doi.org/10.1109/ACCESS.2021.3131213">10.1109/ACCESS.2021.3131213</a>.
  short: M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, T. Wiersema, IEEE Access
    (2021).
date_created: 2021-11-25T14:12:22Z
date_updated: 2023-01-18T08:34:50Z
department:
- _id: '78'
doi: 10.1109/ACCESS.2021.3131213
funded_apc: '1'
keyword:
- Software Analysis
- Abstract Interpretation
- Custom Instruction
- Hardware Verification
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publication: IEEE Access
publication_status: published
publisher: IEEE
quality_controlled: '1'
status: public
title: Software/Hardware Co-Verification for Custom Instruction Set Processors
type: journal_article
user_id: '22398'
year: '2021'
...
---
_id: '52117'
author:
- first_name: Dennis
  full_name: Ried, Dennis
  id: '90722'
  last_name: Ried
  orcid: https://orcid.org/0000-0001-5545-2088
citation:
  ama: Ried D. <i>Kl. 23 „Wie Vil Ich Sing“. Analyse Und Interpretation</i>. GRIN
    Verlag GmbH; 2014:Online-Ressource.
  apa: Ried, D. (2014). <i>Kl. 23 „Wie vil ich sing“. Analyse und Interpretation</i>
    (p. Online-Ressource). GRIN Verlag GmbH.
  bibtex: '@book{Ried_2014, place={München}, title={Kl. 23 „Wie vil ich sing“. Analyse
    und Interpretation}, publisher={GRIN Verlag GmbH}, author={Ried, Dennis}, year={2014},
    pages={Online-Ressource} }'
  chicago: 'Ried, Dennis. <i>Kl. 23 „Wie Vil Ich Sing“. Analyse Und Interpretation</i>.
    München: GRIN Verlag GmbH, 2014.'
  ieee: 'D. Ried, <i>Kl. 23 „Wie vil ich sing“. Analyse und Interpretation</i>. München:
    GRIN Verlag GmbH, 2014, p. Online-Ressource.'
  mla: Ried, Dennis. <i>Kl. 23 „Wie Vil Ich Sing“. Analyse Und Interpretation</i>.
    GRIN Verlag GmbH, 2014, p. Online-Ressource.
  short: D. Ried, Kl. 23 „Wie Vil Ich Sing“. Analyse Und Interpretation, GRIN Verlag
    GmbH, München, 2014.
date_created: 2024-02-27T13:56:14Z
date_updated: 2024-02-28T09:44:09Z
department:
- _id: '233'
extern: '1'
keyword:
- Lied
- Strophe
- Versfuß
- Oswald
- von Wolkenstein
- Interpretation
- Müller
- Ulrich
language:
- iso: eng
page: Online-Ressource
place: München
publication_identifier:
  isbn:
  - 978-3-656-67800-7
publisher: GRIN Verlag GmbH
status: public
title: Kl. 23 „Wie vil ich sing“. Analyse und Interpretation
type: misc
user_id: '90722'
year: '2014'
...
---
_id: '6078'
abstract:
- lang: eng
  text: Four experiments investigated the influence of a metacontrast-masked prime
    on temporal order judgments. The main results were (1) that a masked prime reduced
    the latency of the mask's conscious perception (perceptual latency priming), (2)
    that this effect was independent of whether the prime suffered strong or weak
    masking, (3) that it was unaffected by the degree of visual similarity between
    the prime and the mask, and that (4) there was no difference between congruent
    and incongruent primes. Finding (1) suggests that location cueing affects not
    only response times but also the latency of conscious perception. (2) The finding
    that priming was unaffected by the prime's detectability argues against a response
    bias interpretation of this effect. (3) Since visual similarity had no effect
    on the prime's efficiency, it is unlikely that sensory priming was involved. (4)
    The lack of a divergence between the effects of congruent and incongruent primes
    implies a functional difference between t
author:
- first_name: Ingrid
  full_name: Scharlau, Ingrid
  id: '451'
  last_name: Scharlau
  orcid: 0000-0003-2364-9489
- first_name: Odmar
  full_name: Neumann, Odmar
  last_name: Neumann
citation:
  ama: 'Scharlau I, Neumann O. Perceptual latency priming by masked and unmasked stimuli:
    Evidence for an attentional interpretation. <i>Psychological Research</i>. 2003;67(3):184-196.'
  apa: 'Scharlau, I., &#38; Neumann, O. (2003). Perceptual latency priming by masked
    and unmasked stimuli: Evidence for an attentional interpretation. <i>Psychological
    Research</i>, <i>67</i>(3), 184–196.'
  bibtex: '@article{Scharlau_Neumann_2003, title={Perceptual latency priming by masked
    and unmasked stimuli: Evidence for an attentional interpretation.}, volume={67},
    number={3}, journal={Psychological Research}, author={Scharlau, Ingrid and Neumann,
    Odmar}, year={2003}, pages={184–196} }'
  chicago: 'Scharlau, Ingrid, and Odmar Neumann. “Perceptual Latency Priming by Masked
    and Unmasked Stimuli: Evidence for an Attentional Interpretation.” <i>Psychological
    Research</i> 67, no. 3 (2003): 184–96.'
  ieee: 'I. Scharlau and O. Neumann, “Perceptual latency priming by masked and unmasked
    stimuli: Evidence for an attentional interpretation.,” <i>Psychological Research</i>,
    vol. 67, no. 3, pp. 184–196, 2003.'
  mla: 'Scharlau, Ingrid, and Odmar Neumann. “Perceptual Latency Priming by Masked
    and Unmasked Stimuli: Evidence for an Attentional Interpretation.” <i>Psychological
    Research</i>, vol. 67, no. 3, 2003, pp. 184–96.'
  short: I. Scharlau, O. Neumann, Psychological Research 67 (2003) 184–196.
date_created: 2018-12-10T07:05:43Z
date_updated: 2022-06-07T00:27:08Z
department:
- _id: '424'
extern: '1'
intvolume: '        67'
issue: '3'
keyword:
- perceptual latency priming
- temporal order judgments
- masked stimuli
- unmasked stimuli
- attentional interpretation
- response times
- location cueing
- visual perception
- Adult
- Attention
- Female
- Humans
- Male
- Models
- Psychological
- Perceptual Masking
- Psychometrics
- Reaction Time
- Task Performance and Analysis
- Time Perception
- Masking
- Reaction Time
- Response Latency
- Stimulus Parameters
- Visual Contrast
- Attention
- Cues
- Priming
- Temporal Frequency
- Temporal Order (Judgment)
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/ScharlauNeumann2003PsychResPLP.pdf
oa: '1'
page: 184 - 196
publication: Psychological Research
publication_identifier:
  issn:
  - 0340-0727
publication_status: published
status: public
title: 'Perceptual latency priming by masked and unmasked stimuli: Evidence for an
  attentional interpretation.'
type: journal_article
user_id: '42165'
volume: 67
year: '2003'
...