---
_id: '6075'
abstract:
- lang: eng
text: For almost three decades, the theory of visual attention (TVA) has been successful
in mathematically describing and explaining a wide variety of phenomena in visual
selection and recognition with high quantitative precision. Interestingly, the
influence of feature contrast on attention has been included in TVA only recently,
although it has been extensively studied outside the TVA framework. The present
approach further develops this extension of TVA’s scope by measuring and modeling
salience. An empirical measure of salience is achieved by linking different (orientation
and luminance) contrasts to a TVA parameter. In the modeling part, the function
relating feature contrasts to salience is described mathematically and tested
against alternatives by Bayesian model comparison. This model comparison reveals
that the power function is an appropriate model of salience growth in the dimensions
of orientation and luminance contrast. Furthermore, if contrasts from the two
dimensions are comb
article_type: original
author:
- first_name: Alexander
full_name: Krüger, Alexander
last_name: Krüger
- first_name: Jan
full_name: Tünnermann, Jan
last_name: Tünnermann
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
citation:
ama: Krüger A, Tünnermann J, Scharlau I. Measuring and modeling salience with the
theory of visual attention. Attention, Perception, & Psychophysics.
2017;79(6):1593-1614. doi:10.3758/s13414-017-1325-6
apa: Krüger, A., Tünnermann, J., & Scharlau, I. (2017). Measuring and modeling
salience with the theory of visual attention. Attention, Perception, &
Psychophysics, 79(6), 1593–1614. https://doi.org/10.3758/s13414-017-1325-6
bibtex: '@article{Krüger_Tünnermann_Scharlau_2017, title={Measuring and modeling
salience with the theory of visual attention.}, volume={79}, DOI={10.3758/s13414-017-1325-6},
number={6}, journal={Attention, Perception, & Psychophysics}, author={Krüger,
Alexander and Tünnermann, Jan and Scharlau, Ingrid}, year={2017}, pages={1593–1614}
}'
chicago: 'Krüger, Alexander, Jan Tünnermann, and Ingrid Scharlau. “Measuring and
Modeling Salience with the Theory of Visual Attention.” Attention, Perception,
& Psychophysics 79, no. 6 (2017): 1593–1614. https://doi.org/10.3758/s13414-017-1325-6.'
ieee: 'A. Krüger, J. Tünnermann, and I. Scharlau, “Measuring and modeling salience
with the theory of visual attention.,” Attention, Perception, & Psychophysics,
vol. 79, no. 6, pp. 1593–1614, 2017, doi: 10.3758/s13414-017-1325-6.'
mla: Krüger, Alexander, et al. “Measuring and Modeling Salience with the Theory
of Visual Attention.” Attention, Perception, & Psychophysics, vol.
79, no. 6, 2017, pp. 1593–614, doi:10.3758/s13414-017-1325-6.
short: A. Krüger, J. Tünnermann, I. Scharlau, Attention, Perception, & Psychophysics
79 (2017) 1593–1614.
date_created: 2018-12-10T07:05:04Z
date_updated: 2022-06-06T14:08:05Z
department:
- _id: '424'
doi: 10.3758/s13414-017-1325-6
intvolume: ' 79'
issue: '6'
keyword:
- Salience
- Visual attention
- Bayesian inference
- Theory of visual attention
- Computational modeling
- Inference
- Object Recognition
- Theories
- Visual Perception
- Visual Attention
- Luminance
- Perceptual Orientation
- Statistical Probability
- Stimulus Salience
- Computational Modeling
language:
- iso: eng
page: 1593 - 1614
publication: Attention, Perception, & Psychophysics
publication_identifier:
issn:
- 1943-3921
publication_status: published
status: public
title: Measuring and modeling salience with the theory of visual attention.
type: journal_article
user_id: '42165'
volume: 79
year: '2017'
...
---
_id: '6071'
abstract:
- lang: eng
text: Particular differences between an object and its surrounding cause salience,
guide attention, and improve performance in various tasks. While much research
has been dedicated to identifying which feature dimensions contribute to salience,
much less regard has been paid to the quantitative strength of the salience caused
by feature differences. Only a few studies systematically related salience effects
to a common salience measure, and they are partly outdated in the light of new
findings on the time course of salience effects. We propose Bundesen’s Theory
of Visual Attention (TV A) as a theoretical basis for measuring salience and introduce
an empirical and modeling approach to link this theory to data retrieved from
temporal-order judgments. With this procedure, TV A becomes applicable to a broad
range of salience-related stimulus material. Three experiments with orientation
pop-out displays demonstrate the feasibility of the method. A 4th experiment substantiates
its applicability t
author:
- first_name: Alexander
full_name: Krüger, Alexander
last_name: Krüger
- first_name: Jan
full_name: Tünnermann, Jan
last_name: Tünnermann
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
citation:
ama: Krüger A, Tünnermann J, Scharlau I. Fast and conspicuous? Quantifying salience
with the theory of visual attention. Advances in Cognitive Psychology.
2016;12(1):20-38. doi:10.5709/acp-0184-1
apa: Krüger, A., Tünnermann, J., & Scharlau, I. (2016). Fast and conspicuous?
Quantifying salience with the theory of visual attention. Advances in Cognitive
Psychology, 12(1), 20–38. https://doi.org/10.5709/acp-0184-1
bibtex: '@article{Krüger_Tünnermann_Scharlau_2016, title={Fast and conspicuous?
Quantifying salience with the theory of visual attention.}, volume={12}, DOI={10.5709/acp-0184-1}, number={1},
journal={Advances in Cognitive Psychology}, author={Krüger, Alexander and Tünnermann,
Jan and Scharlau, Ingrid}, year={2016}, pages={20–38} }'
chicago: 'Krüger, Alexander, Jan Tünnermann, and Ingrid Scharlau. “Fast and Conspicuous?
Quantifying Salience with the Theory of Visual Attention.” Advances in Cognitive
Psychology 12, no. 1 (2016): 20–38. https://doi.org/10.5709/acp-0184-1.'
ieee: 'A. Krüger, J. Tünnermann, and I. Scharlau, “Fast and conspicuous? Quantifying
salience with the theory of visual attention.,” Advances in Cognitive Psychology,
vol. 12, no. 1, pp. 20–38, 2016, doi: 10.5709/acp-0184-1.'
mla: Krüger, Alexander, et al. “Fast and Conspicuous? Quantifying Salience with
the Theory of Visual Attention.” Advances in Cognitive Psychology, vol.
12, no. 1, 2016, pp. 20–38, doi:10.5709/acp-0184-1.
short: A. Krüger, J. Tünnermann, I. Scharlau, Advances in Cognitive Psychology 12
(2016) 20–38.
date_created: 2018-12-10T07:04:15Z
date_updated: 2022-06-06T16:21:09Z
department:
- _id: '424'
doi: 10.5709/acp-0184-1
funded_apc: '1'
intvolume: ' 12'
issue: '1'
keyword:
- salience
- visual attention
- Bayesian inference
- theory of visual attention
- computational modeling
- Visual Attention
- Computational Modeling
- Inference
- Judgment
- Statistical Probability
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://ac-psych.org/en/download-pdf/volume/12/issue/1/id/185
oa: '1'
page: 20 - 38
publication: Advances in Cognitive Psychology
publication_identifier:
issn:
- 1895-1171
publication_status: published
status: public
title: Fast and conspicuous? Quantifying salience with the theory of visual attention.
type: journal_article
user_id: '42165'
volume: 12
year: '2016'
...
---
_id: '11861'
abstract:
- lang: eng
text: 'In this contribution we present a theoretical and experimental investigation
into the effects of reverberation and noise on features in the logarithmic mel
power spectral domain, an intermediate stage in the computation of the mel frequency
cepstral coefficients, prevalent in automatic speech recognition (ASR). Gaining
insight into the complex interaction between clean speech, noise, and noisy reverberant
speech features is essential for any ASR system to be robust against noise and
reverberation present in distant microphone input signals. The findings are gathered
in a probabilistic formulation of an observation model which may be used in model-based
feature compensation schemes. The proposed observation model extends previous
models in three major directions: First, the contribution of additive background
noise to the observation error is explicitly taken into account. Second, an energy
compensation constant is introduced which ensures an unbiased estimate of the
reverberant speech features, and, third, a recursive variant of the observation
model is developed resulting in reduced computational complexity when used in
model-based feature compensation. The experimental section is used to evaluate
the accuracy of the model and to describe how its parameters can be determined
from test data.'
author:
- first_name: Volker
full_name: Leutnant, Volker
last_name: Leutnant
- first_name: Alexander
full_name: Krueger, Alexander
last_name: Krueger
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: Leutnant V, Krueger A, Haeb-Umbach R. A New Observation Model in the Logarithmic
Mel Power Spectral Domain for the Automatic Recognition of Noisy Reverberant Speech.
IEEE/ACM Transactions on Audio, Speech, and Language Processing. 2014;22(1):95-109.
doi:10.1109/TASLP.2013.2285480
apa: Leutnant, V., Krueger, A., & Haeb-Umbach, R. (2014). A New Observation
Model in the Logarithmic Mel Power Spectral Domain for the Automatic Recognition
of Noisy Reverberant Speech. IEEE/ACM Transactions on Audio, Speech, and Language
Processing, 22(1), 95–109. https://doi.org/10.1109/TASLP.2013.2285480
bibtex: '@article{Leutnant_Krueger_Haeb-Umbach_2014, title={A New Observation Model
in the Logarithmic Mel Power Spectral Domain for the Automatic Recognition of
Noisy Reverberant Speech}, volume={22}, DOI={10.1109/TASLP.2013.2285480},
number={1}, journal={IEEE/ACM Transactions on Audio, Speech, and Language Processing},
author={Leutnant, Volker and Krueger, Alexander and Haeb-Umbach, Reinhold}, year={2014},
pages={95–109} }'
chicago: 'Leutnant, Volker, Alexander Krueger, and Reinhold Haeb-Umbach. “A New
Observation Model in the Logarithmic Mel Power Spectral Domain for the Automatic
Recognition of Noisy Reverberant Speech.” IEEE/ACM Transactions on Audio, Speech,
and Language Processing 22, no. 1 (2014): 95–109. https://doi.org/10.1109/TASLP.2013.2285480.'
ieee: V. Leutnant, A. Krueger, and R. Haeb-Umbach, “A New Observation Model in the
Logarithmic Mel Power Spectral Domain for the Automatic Recognition of Noisy Reverberant
Speech,” IEEE/ACM Transactions on Audio, Speech, and Language Processing,
vol. 22, no. 1, pp. 95–109, 2014.
mla: Leutnant, Volker, et al. “A New Observation Model in the Logarithmic Mel Power
Spectral Domain for the Automatic Recognition of Noisy Reverberant Speech.” IEEE/ACM
Transactions on Audio, Speech, and Language Processing, vol. 22, no. 1, 2014,
pp. 95–109, doi:10.1109/TASLP.2013.2285480.
short: V. Leutnant, A. Krueger, R. Haeb-Umbach, IEEE/ACM Transactions on Audio,
Speech, and Language Processing 22 (2014) 95–109.
date_created: 2019-07-12T05:29:41Z
date_updated: 2022-01-06T06:51:11Z
department:
- _id: '54'
doi: 10.1109/TASLP.2013.2285480
intvolume: ' 22'
issue: '1'
keyword:
- computational complexity
- reverberation
- speech recognition
- automatic speech recognition
- background noise
- clean speech
- computational complexity
- energy compensation
- logarithmic mel power spectral domain
- mel frequency cepstral coefficients
- microphone input signals
- model-based feature compensation schemes
- noisy reverberant speech automatic recognition
- noisy reverberant speech features
- reverberation
- Atmospheric modeling
- Computational modeling
- Noise
- Noise measurement
- Reverberation
- Speech
- Vectors
- Model-based feature compensation
- observation model for reverberant and noisy speech
- recursive observation model
- robust automatic speech recognition
language:
- iso: eng
page: 95-109
publication: IEEE/ACM Transactions on Audio, Speech, and Language Processing
publication_identifier:
issn:
- 2329-9290
status: public
title: A New Observation Model in the Logarithmic Mel Power Spectral Domain for the
Automatic Recognition of Noisy Reverberant Speech
type: journal_article
user_id: '44006'
volume: 22
year: '2014'
...
---
_id: '36918'
abstract:
- lang: eng
text: This paper presents an advanced eight levels spanning SystemC based virtual
platform methodology and framework - referred to as HeroeS 3 - providing smooth
application to platform mapping and continuous co-refinement of a virtual prototype
with its physical environment model. For heterogeneity support, various SystemC
extensions are combined covering continuous/discrete models of computation and
different communication abstractions, such as analog mixed-signal models, abstract
RTOS/HAL/middleware models, TLM bus models, and QEMU wrappers. We enable dependability
assessment by Fault Effect Modeling (FEM) at the virtual prototype in order to
avoid risking physical injury or damage. Also, simulation results are deterministic
and can be evaluated interactively or offline. We apply FEM to both the physical
environment model and the different abstractions of the virtual prototype. Currently,
we focus on sensor failures and application control flow errors.
author:
- first_name: Markus
full_name: Becker, Markus
last_name: Becker
- first_name: Christoph
full_name: Kuznik, Christoph
last_name: Kuznik
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC
Based Virtual Platform Framework for Cyber Physical Systems. In: IEEE; 2014. doi:10.1109/ICCPS.2014.6843726'
apa: Becker, M., Kuznik, C., & Müller, W. (2014). Fault Effect Modeling in
a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.
ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin. https://doi.org/10.1109/ICCPS.2014.6843726
bibtex: '@inproceedings{Becker_Kuznik_Müller_2014, place={Berlin}, title={Fault
Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for
Cyber Physical Systems}, DOI={10.1109/ICCPS.2014.6843726},
publisher={IEEE}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang},
year={2014} }'
chicago: 'Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling
in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical
Systems.” Berlin: IEEE, 2014. https://doi.org/10.1109/ICCPS.2014.6843726.'
ieee: 'M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous
SystemC Based Virtual Platform Framework for Cyber Physical Systems,” presented
at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin,
2014, doi: 10.1109/ICCPS.2014.6843726.'
mla: Becker, Markus, et al. Fault Effect Modeling in a Heterogeneous SystemC
Based Virtual Platform Framework for Cyber Physical Systems. IEEE, 2014, doi:10.1109/ICCPS.2014.6843726.
short: 'M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.'
conference:
location: Berlin
name: ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
date_created: 2023-01-16T11:57:08Z
date_updated: 2023-01-16T11:57:22Z
department:
- _id: '58'
doi: 10.1109/ICCPS.2014.6843726
keyword:
- Computational modeling
- Finite element analysis
- Prototypes
- Abstracts
- Software
- Fault tolerance
- Fault tolerant systems
language:
- iso: eng
place: Berlin
publisher: IEEE
status: public
title: Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework
for Cyber Physical Systems
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '9784'
abstract:
- lang: eng
text: Piezoelectric inertia motors use the inertia of a body to drive it by means
of a friction contact in a series of small steps. These motors can operate in
``stick-slip'' or ``slip-slip'' mode, with the fundamental frequency of the driving
signal ranging from several Hertz to more than 100 kHz. To predict the motor characteristics,
a Coulomb friction model is sufficient in many cases, but numerical simulation
requires microscopic time steps. This contribution proposes a much faster simulation
technique using one evaluation per period of the excitation signal. The proposed
technique produces results very close to those of timestep simulation for ultrasonics
inertia motors and allows direct determination of the steady-state velocity of
an inertia motor from the motion profile of the driving part. Thus it is a useful
simulation technique which can be applied in both analysis and design of inertia
motors, especially for parameter studies and optimisation.
author:
- first_name: Matthias
full_name: Hunstig, Matthias
last_name: Hunstig
- first_name: Tobias
full_name: Hemsel, Tobias
last_name: Hemsel
- first_name: Walter
full_name: Sextro, Walter
last_name: Sextro
citation:
ama: 'Hunstig M, Hemsel T, Sextro W. An efficient simulation technique for high-frequency
piezoelectric inertia motors. In: Ultrasonics Symposium (IUS), 2012 IEEE International.
; 2012:277-280. doi:10.1109/ULTSYM.2012.0068'
apa: Hunstig, M., Hemsel, T., & Sextro, W. (2012). An efficient simulation technique
for high-frequency piezoelectric inertia motors. In Ultrasonics Symposium (IUS),
2012 IEEE International (pp. 277–280). https://doi.org/10.1109/ULTSYM.2012.0068
bibtex: '@inproceedings{Hunstig_Hemsel_Sextro_2012, title={An efficient simulation
technique for high-frequency piezoelectric inertia motors}, DOI={10.1109/ULTSYM.2012.0068},
booktitle={Ultrasonics Symposium (IUS), 2012 IEEE International}, author={Hunstig,
Matthias and Hemsel, Tobias and Sextro, Walter}, year={2012}, pages={277–280}
}'
chicago: Hunstig, Matthias, Tobias Hemsel, and Walter Sextro. “An Efficient Simulation
Technique for High-Frequency Piezoelectric Inertia Motors.” In Ultrasonics
Symposium (IUS), 2012 IEEE International, 277–80, 2012. https://doi.org/10.1109/ULTSYM.2012.0068.
ieee: M. Hunstig, T. Hemsel, and W. Sextro, “An efficient simulation technique for
high-frequency piezoelectric inertia motors,” in Ultrasonics Symposium (IUS),
2012 IEEE International, 2012, pp. 277–280.
mla: Hunstig, Matthias, et al. “An Efficient Simulation Technique for High-Frequency
Piezoelectric Inertia Motors.” Ultrasonics Symposium (IUS), 2012 IEEE International,
2012, pp. 277–80, doi:10.1109/ULTSYM.2012.0068.
short: 'M. Hunstig, T. Hemsel, W. Sextro, in: Ultrasonics Symposium (IUS), 2012
IEEE International, 2012, pp. 277–280.'
date_created: 2019-05-13T13:20:17Z
date_updated: 2022-01-06T07:04:20Z
department:
- _id: '151'
doi: 10.1109/ULTSYM.2012.0068
keyword:
- friction
- ultrasonic motors
- Coulomb friction model
- efficient simulation technique
- friction contact
- high-frequency piezoelectric inertia motor
- motor characteristics prediction
- numerical simulation
- slip-slip mode
- stick-slip mode
- time-step simulation
- ultrasonic inertia motor
- Acceleration
- Acoustics
- Actuators
- Computational modeling
- Friction
- Numerical models
- Steady-state
language:
- iso: eng
page: 277-280
publication: Ultrasonics Symposium (IUS), 2012 IEEE International
publication_identifier:
issn:
- 1948-5719
quality_controlled: '1'
status: public
title: An efficient simulation technique for high-frequency piezoelectric inertia
motors
type: conference
user_id: '55222'
year: '2012'
...
---
_id: '37002'
abstract:
- lang: eng
text: HDL-mutation based fault injection and analysis is considered as an important
coverage metric for measuring the quality of design simulation processes [20,
3, 1, 2]. In this work, we try to solve the problem of automatic simulation data
generation targeting HDL mutation faults. We follow a search based approach and
eliminate the need for symbolic execution and mathematical constraint solving
from existing work. An objective cost function is defined on the test input space
and serves the guidance of search for fault-detecting test data. This is done
by first mapping the simulation traces under a test onto a control and data flow
graph structure which is extracted from the design. Then the progress of fault
detection can be measured quantitatively on this graph to be the cost value. By
minimizing this cost we approach the target test data. The effectiveness of the
cost function is investigated under an example neighborhood search scheme. Case
study with a floating point arithmetic IP design has shown that the cost function
is able to guide effectively the search procedure towards a fault-detecting test.
The cost calculation time as the search overhead was also observed to be minor
compared to the actual design simulation time.
author:
- first_name: Tao
full_name: Xie, Tao
last_name: Xie
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Florian
full_name: Letombe, Florian
last_name: Letombe
citation:
ama: 'Xie T, Müller W, Letombe F. HDL-Mutation Based Simulation Data Generation
by Propagation Guided Search. In: Proceedings of Euromicro DSD 2011. IEEE;
2011. doi:10.1109/DSD.2011.83'
apa: Xie, T., Müller, W., & Letombe, F. (2011). HDL-Mutation Based Simulation
Data Generation by Propagation Guided Search. Proceedings of Euromicro DSD
2011. https://doi.org/10.1109/DSD.2011.83
bibtex: '@inproceedings{Xie_Müller_Letombe_2011, place={Oulu, Finnland}, title={HDL-Mutation
Based Simulation Data Generation by Propagation Guided Search}, DOI={10.1109/DSD.2011.83},
booktitle={Proceedings of Euromicro DSD 2011}, publisher={IEEE}, author={Xie,
Tao and Müller, Wolfgang and Letombe, Florian}, year={2011} }'
chicago: 'Xie, Tao, Wolfgang Müller, and Florian Letombe. “HDL-Mutation Based Simulation
Data Generation by Propagation Guided Search.” In Proceedings of Euromicro
DSD 2011. Oulu, Finnland: IEEE, 2011. https://doi.org/10.1109/DSD.2011.83.'
ieee: 'T. Xie, W. Müller, and F. Letombe, “HDL-Mutation Based Simulation Data Generation
by Propagation Guided Search,” 2011, doi: 10.1109/DSD.2011.83.'
mla: Xie, Tao, et al. “HDL-Mutation Based Simulation Data Generation by Propagation
Guided Search.” Proceedings of Euromicro DSD 2011, IEEE, 2011, doi:10.1109/DSD.2011.83.
short: 'T. Xie, W. Müller, F. Letombe, in: Proceedings of Euromicro DSD 2011, IEEE,
Oulu, Finnland, 2011.'
date_created: 2023-01-17T09:02:48Z
date_updated: 2025-02-26T14:44:15Z
department:
- _id: '672'
doi: 10.1109/DSD.2011.83
keyword:
- Hardware design languages
- Cost function
- Computational modeling
- Fault detection
- Data models
- Analytical models
- Testing
language:
- iso: eng
place: Oulu, Finnland
publication: Proceedings of Euromicro DSD 2011
publication_identifier:
isbn:
- 978-1-4577-1048-3
publisher: IEEE
status: public
title: HDL-Mutation Based Simulation Data Generation by Propagation Guided Search
type: conference
user_id: '5786'
year: '2011'
...
---
_id: '37057'
abstract:
- lang: eng
text: Many heterogeneous embedded systems, for example industrial automation and
automotive applications, require hard-real time constraints to be exhaustively
verified - which is a challenging task for the verification engineer. To cope
with complexity, verification techniques working on different abstraction levels
are best practice. SystemC is a versatile C++ based design and verification language,
offering various mechanisms and constructs required for embedded systems modeling.
Using the add-on SystemC Verification Library (SCV) elemental constrained-random
stimuli techniques may be used for verification. However, SCV has several drawbacks
such as lack of functional coverage. In this paper we present a functional coverage
library that implements parts of the IEEE 1800-2005 SystemVerilog standard and
allows capturing functional coverage throughout the design and verification process
with SystemC. Moreover, we will demonstrate the usability of the approach with
a case study working on a CAN bus model written in SystemC.
author:
- first_name: Gilles B.
full_name: Defo, Gilles B.
last_name: Defo
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Christoph
full_name: Kuznik, Christoph
last_name: Kuznik
citation:
ama: 'Defo GB, Müller W, Kuznik C. Verification of a CAN Bus Model in SystemC with
Functional Coverage. In: Proceedings of SIES 2010. IEEE; 2010. doi:10.1109/SIES.2010.5551379'
apa: Defo, G. B., Müller, W., & Kuznik, C. (2010). Verification of a CAN Bus
Model in SystemC with Functional Coverage. Proceedings of SIES 2010. International
Symposium on Industrial Embedded System (SIES), Trento, Italy. https://doi.org/10.1109/SIES.2010.5551379
bibtex: '@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification
of a CAN Bus Model in SystemC with Functional Coverage}, DOI={10.1109/SIES.2010.5551379},
booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B.
and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }'
chicago: 'Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification
of a CAN Bus Model in SystemC with Functional Coverage.” In Proceedings of
SIES 2010. Trento, Italy: IEEE, 2010. https://doi.org/10.1109/SIES.2010.5551379.'
ieee: 'G. B. Defo, W. Müller, and C. Kuznik, “Verification of a CAN Bus Model in
SystemC with Functional Coverage,” presented at the International Symposium on
Industrial Embedded System (SIES), Trento, Italy, 2010, doi: 10.1109/SIES.2010.5551379.'
mla: Defo, Gilles B., et al. “Verification of a CAN Bus Model in SystemC with Functional
Coverage.” Proceedings of SIES 2010, IEEE, 2010, doi:10.1109/SIES.2010.5551379.
short: 'G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento,
Italy, 2010.'
conference:
location: ' Trento, Italy'
name: International Symposium on Industrial Embedded System (SIES)
date_created: 2023-01-17T11:34:56Z
date_updated: 2023-01-17T11:35:03Z
department:
- _id: '672'
doi: 10.1109/SIES.2010.5551379
keyword:
- Libraries
- Generators
- Transfer functions
- Monitoring
- Computational modeling
- Driver circuits
- Adaptation model
language:
- iso: eng
place: ' Trento, Italy'
publication: Proceedings of SIES 2010
publication_identifier:
eisbn:
- 978-1-4244-5841-7
publisher: IEEE
status: public
title: Verification of a CAN Bus Model in SystemC with Functional Coverage
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '39421'
abstract:
- lang: eng
text: We present a rigorous but transparent semantics definition of SystemC that
covers method, thread, and clocked thread behavior as well as their interaction
with the simulation kernel process. The semantics includes watching statements,
signal assignment, and wait statements as they are introduced in SystemC V1.O.
We present our definition in form of distributed Abstract State Machines (ASMs)
rules reflecting the view given in the SystemC User's Manual and the reference
implementation. We mainly see our formal semantics as a concise, unambiguous,
high-level specification for SystemC-based implementations and for standardization.
Additionally, it can be used as a sound basis to investigate SystemC interoperability
with Verilog and VHDL.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Jürgen
full_name: Ruf, Jürgen
last_name: Ruf
- first_name: D. W.
full_name: Hoffmann, D. W.
last_name: Hoffmann
- first_name: Joachim
full_name: Gerlach, Joachim
last_name: Gerlach
- first_name: Thomas
full_name: Kropf, Thomas
last_name: Kropf
- first_name: W.
full_name: Rosenstiehl, W.
last_name: Rosenstiehl
citation:
ama: 'Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation
Semantics of SystemC. In: Proceedings of the Design, Automation, and Test in
Europe (DATE’01). IEEE; 2001. doi:10.1109/DATE.2001.915002'
apa: Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., & Rosenstiehl,
W. (2001). The Simulation Semantics of SystemC. Proceedings of the Design,
Automation, and Test in Europe (DATE’01). Proceedings Design, Automation
and Test in Europe. Conference and Exhibition 2001. https://doi.org/10.1109/DATE.2001.915002
bibtex: '@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich,
Germany }, title={The Simulation Semantics of SystemC}, DOI={10.1109/DATE.2001.915002},
booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)},
publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W.
and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }'
chicago: 'Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas
Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In Proceedings
of the Design, Automation, and Test in Europe (DATE’01). Munich, Germany :
IEEE, 2001. https://doi.org/10.1109/DATE.2001.915002.'
ieee: 'W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl,
“The Simulation Semantics of SystemC,” presented at the Proceedings Design, Automation
and Test in Europe. Conference and Exhibition 2001, 2001, doi: 10.1109/DATE.2001.915002.'
mla: Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” Proceedings
of the Design, Automation, and Test in Europe (DATE’01), IEEE, 2001, doi:10.1109/DATE.2001.915002.
short: 'W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl,
in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE,
Munich, Germany , 2001.'
conference:
name: ' Proceedings Design, Automation and Test in Europe. Conference and Exhibition
2001'
date_created: 2023-01-24T10:39:33Z
date_updated: 2023-01-24T10:39:38Z
department:
- _id: '672'
doi: 10.1109/DATE.2001.915002
keyword:
- Yarn
- Formal verification
- Kernel
- Hardware design languages
- Electronic design automation and methodology
- Algebra
- Computational modeling
- Logic functions
- Computer languages
- Clocks
language:
- iso: eng
place: 'Munich, Germany '
publication: Proceedings of the Design, Automation, and Test in Europe (DATE’01)
publication_identifier:
isbn:
- 0-7695-0993-2
publisher: IEEE
status: public
title: The Simulation Semantics of SystemC
type: conference
user_id: '5786'
year: '2001'
...