[{"quality_controlled":"1","publication_status":"published","year":"2021","citation":{"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>","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).","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} }","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>","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>."},"publisher":"IEEE","date_updated":"2023-01-18T08:34:50Z","author":[{"full_name":"Jakobs, Marie-Christine","last_name":"Jakobs","first_name":"Marie-Christine"},{"first_name":"Felix","full_name":"Pauck, Felix","id":"22398","last_name":"Pauck"},{"first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco","id":"398"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"},{"first_name":"Tobias","last_name":"Wiersema","full_name":"Wiersema, Tobias","id":"3118"}],"date_created":"2021-11-25T14:12:22Z","title":"Software/Hardware Co-Verification for Custom Instruction Set Processors","doi":"10.1109/ACCESS.2021.3131213","publication":"IEEE Access","type":"journal_article","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."}],"status":"public","_id":"27841","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"department":[{"_id":"78"}],"user_id":"22398","keyword":["Software Analysis","Abstract Interpretation","Custom Instruction","Hardware Verification"],"funded_apc":"1","language":[{"iso":"eng"}]},{"place":"München","year":"2014","page":"Online-Ressource","citation":{"apa":"Ried, D. (2014). <i>Kl. 23 „Wie vil ich sing“. Analyse und Interpretation</i> (p. Online-Ressource). GRIN Verlag GmbH.","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.","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} }","ieee":"D. Ried, <i>Kl. 23 „Wie vil ich sing“. Analyse und Interpretation</i>. München: GRIN Verlag GmbH, 2014, p. Online-Ressource.","chicago":"Ried, Dennis. <i>Kl. 23 „Wie Vil Ich Sing“. Analyse Und Interpretation</i>. München: GRIN Verlag GmbH, 2014.","ama":"Ried D. <i>Kl. 23 „Wie Vil Ich Sing“. Analyse Und Interpretation</i>. GRIN Verlag GmbH; 2014:Online-Ressource."},"publication_identifier":{"isbn":["978-3-656-67800-7"]},"title":"Kl. 23 „Wie vil ich sing“. Analyse und Interpretation","date_updated":"2024-02-28T09:44:09Z","publisher":"GRIN Verlag GmbH","author":[{"first_name":"Dennis","last_name":"Ried","orcid":"https://orcid.org/0000-0001-5545-2088","id":"90722","full_name":"Ried, Dennis"}],"date_created":"2024-02-27T13:56:14Z","status":"public","type":"misc","keyword":["Lied","Strophe","Versfuß","Oswald","von Wolkenstein","Interpretation","Müller","Ulrich"],"extern":"1","language":[{"iso":"eng"}],"_id":"52117","department":[{"_id":"233"}],"user_id":"90722"},{"publication":"Psychological Research","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"}],"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"}],"issue":"3","year":"2003","date_created":"2018-12-10T07:05:43Z","title":"Perceptual latency priming by masked and unmasked stimuli: Evidence for an attentional interpretation.","type":"journal_article","status":"public","_id":"6078","department":[{"_id":"424"}],"user_id":"42165","extern":"1","publication_identifier":{"issn":["0340-0727"]},"publication_status":"published","intvolume":"        67","page":"184 - 196","citation":{"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} }","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.","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.","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."},"oa":"1","date_updated":"2022-06-07T00:27:08Z","volume":67,"author":[{"first_name":"Ingrid","orcid":"0000-0003-2364-9489","last_name":"Scharlau","full_name":"Scharlau, Ingrid","id":"451"},{"last_name":"Neumann","full_name":"Neumann, Odmar","first_name":"Odmar"}],"main_file_link":[{"open_access":"1","url":"https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/ScharlauNeumann2003PsychResPLP.pdf"}]}]