---
_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: <i>Proceedings of SIES 2010</i>. IEEE; 2010. doi:<a href="https://doi.org/10.1109/SIES.2010.5551379">10.1109/SIES.2010.5551379</a>'
  apa: Defo, G. B., Müller, W., &#38; Kuznik, C. (2010). Verification of a CAN Bus
    Model in SystemC with Functional Coverage. <i>Proceedings of SIES 2010</i>. International
    Symposium on Industrial Embedded System (SIES),  Trento, Italy. <a href="https://doi.org/10.1109/SIES.2010.5551379">https://doi.org/10.1109/SIES.2010.5551379</a>
  bibtex: '@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification
    of a CAN Bus Model in SystemC with Functional Coverage}, DOI={<a href="https://doi.org/10.1109/SIES.2010.5551379">10.1109/SIES.2010.5551379</a>},
    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 <i>Proceedings of
    SIES 2010</i>.  Trento, Italy: IEEE, 2010. <a href="https://doi.org/10.1109/SIES.2010.5551379">https://doi.org/10.1109/SIES.2010.5551379</a>.'
  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: <a href="https://doi.org/10.1109/SIES.2010.5551379">10.1109/SIES.2010.5551379</a>.'
  mla: Defo, Gilles B., et al. “Verification of a CAN Bus Model in SystemC with Functional
    Coverage.” <i>Proceedings of SIES 2010</i>, IEEE, 2010, doi:<a href="https://doi.org/10.1109/SIES.2010.5551379">10.1109/SIES.2010.5551379</a>.
  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: '9576'
abstract:
- lang: eng
  text: 'In neurosurgery, delineation of tumor boundaries during resection of brain
    tumors is of substantial relevance. During operation distinction between tumor
    and healthy tissue rely on the abilities of the surgeon based on visual and tactile
    differentiation. In this paper a high sensitivity actuator-sensor system using
    a piezoelectric bimorph is presented. Frequency shift and transfer function of
    the bimorphpsilas voltages are detected and evaluated. Sensorpsilas sensitivity
    is evaluated using two frequency controls strategies: A phase-locked loop (PLL)
    and a self-oscillating circuit. Results of measurements conducted on gel-phantoms
    are presented and discussed.'
author:
- first_name: David Oliva
  full_name: Uribe, David Oliva
  last_name: Uribe
- first_name: Ralf
  full_name: Stroop, Ralf
  last_name: Stroop
- first_name: Tobias
  full_name: Hemsel, Tobias
  id: '210'
  last_name: Hemsel
- first_name: Jörg
  full_name: Wallaschek, Jörg
  last_name: Wallaschek
citation:
  ama: 'Uribe DO, Stroop R, Hemsel T, Wallaschek J. Development of a biomedical tissue
    differentiation system using piezoelectric actuators. In: <i>Frequency Control
    Symposium, 2008 IEEE International</i>. ; 2008:91-94. doi:<a href="https://doi.org/10.1109/FREQ.2008.4622963">10.1109/FREQ.2008.4622963</a>'
  apa: Uribe, D. O., Stroop, R., Hemsel, T., &#38; Wallaschek, J. (2008). Development
    of a biomedical tissue differentiation system using piezoelectric actuators. In
    <i>Frequency Control Symposium, 2008 IEEE International</i> (pp. 91–94). <a href="https://doi.org/10.1109/FREQ.2008.4622963">https://doi.org/10.1109/FREQ.2008.4622963</a>
  bibtex: '@inproceedings{Uribe_Stroop_Hemsel_Wallaschek_2008, title={Development
    of a biomedical tissue differentiation system using piezoelectric actuators},
    DOI={<a href="https://doi.org/10.1109/FREQ.2008.4622963">10.1109/FREQ.2008.4622963</a>},
    booktitle={Frequency Control Symposium, 2008 IEEE International}, author={Uribe,
    David Oliva and Stroop, Ralf and Hemsel, Tobias and Wallaschek, Jörg}, year={2008},
    pages={91–94} }'
  chicago: Uribe, David Oliva, Ralf Stroop, Tobias Hemsel, and Jörg Wallaschek. “Development
    of a Biomedical Tissue Differentiation System Using Piezoelectric Actuators.”
    In <i>Frequency Control Symposium, 2008 IEEE International</i>, 91–94, 2008. <a
    href="https://doi.org/10.1109/FREQ.2008.4622963">https://doi.org/10.1109/FREQ.2008.4622963</a>.
  ieee: D. O. Uribe, R. Stroop, T. Hemsel, and J. Wallaschek, “Development of a biomedical
    tissue differentiation system using piezoelectric actuators,” in <i>Frequency
    Control Symposium, 2008 IEEE International</i>, 2008, pp. 91–94.
  mla: Uribe, David Oliva, et al. “Development of a Biomedical Tissue Differentiation
    System Using Piezoelectric Actuators.” <i>Frequency Control Symposium, 2008 IEEE
    International</i>, 2008, pp. 91–94, doi:<a href="https://doi.org/10.1109/FREQ.2008.4622963">10.1109/FREQ.2008.4622963</a>.
  short: 'D.O. Uribe, R. Stroop, T. Hemsel, J. Wallaschek, in: Frequency Control Symposium,
    2008 IEEE International, 2008, pp. 91–94.'
date_created: 2019-04-29T13:07:39Z
date_updated: 2022-01-06T07:04:16Z
department:
- _id: '151'
doi: 10.1109/FREQ.2008.4622963
keyword:
- biomedical measurement
- brain
- cancer
- neurophysiology
- phantoms
- phase locked loops
- piezoelectric actuators
- surgery
- tactile sensors
- transfer functions
- tumours
- PLL
- biomedical tissue differentiation system
- brain tumor resection
- frequency control
- frequency shift
- gel-phantom
- high sensitivity actuator-sensor system
- neurosurgery
- phase-locked loop
- piezoelectric actuators
- piezoelectric bimorph
- self-oscillating circuit
- sensor sensitivity
- tactile differentiation
- tactile sensor system
- transfer function
- tumor boundary
- visual differentiation
- Biomedical measurements
- Circuits
- Frequency control
- Neoplasms
- Neurosurgery
- Phase locked loops
- Piezoelectric actuators
- Surges
- Transfer functions
- Voltage
language:
- iso: eng
page: 91-94
publication: Frequency Control Symposium, 2008 IEEE International
publication_identifier:
  issn:
  - 1075-6787
quality_controlled: '1'
status: public
title: Development of a biomedical tissue differentiation system using piezoelectric
  actuators
type: conference
user_id: '55222'
year: '2008'
...
---
_id: '11935'
abstract:
- lang: eng
  text: The generalized sidelobe canceller by Griffith and Jim is a robust beamforming
    method to enhance a desired (speech) signal in the presence of stationary noise.
    Its performance depends to a high degree on the construction of the blocking matrix
    which produces noise reference signals for the subsequent adaptive interference
    canceller. Especially in reverberated environments the beamformer may suffer from
    signal leakage and reduced noise suppression. In this paper a new blocking matrix
    is proposed. It is based on a generalized eigenvalue problem whose solution provides
    an indirect estimation of the transfer functions from the source to the sensors.
    The quality of the new generalized eigenvector blocking matrix is studied in simulated
    rooms with different reverberation times and is compared to alternatives proposed
    in the literature.
author:
- first_name: Ernst
  full_name: Warsitz, Ernst
  last_name: Warsitz
- 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: 'Warsitz E, Krueger A, Haeb-Umbach R. Speech enhancement with a new generalized
    eigenvector blocking matrix for application in a generalized sidelobe canceller.
    In: <i>IEEE International Conference on Acoustics, Speech and Signal Processing
    (ICASSP 2008)</i>. ; 2008:73-76. doi:<a href="https://doi.org/10.1109/ICASSP.2008.4517549">10.1109/ICASSP.2008.4517549</a>'
  apa: Warsitz, E., Krueger, A., &#38; Haeb-Umbach, R. (2008). Speech enhancement
    with a new generalized eigenvector blocking matrix for application in a generalized
    sidelobe canceller. In <i>IEEE International Conference on Acoustics, Speech and
    Signal Processing (ICASSP 2008)</i> (pp. 73–76). <a href="https://doi.org/10.1109/ICASSP.2008.4517549">https://doi.org/10.1109/ICASSP.2008.4517549</a>
  bibtex: '@inproceedings{Warsitz_Krueger_Haeb-Umbach_2008, title={Speech enhancement
    with a new generalized eigenvector blocking matrix for application in a generalized
    sidelobe canceller}, DOI={<a href="https://doi.org/10.1109/ICASSP.2008.4517549">10.1109/ICASSP.2008.4517549</a>},
    booktitle={IEEE International Conference on Acoustics, Speech and Signal Processing
    (ICASSP 2008)}, author={Warsitz, Ernst and Krueger, Alexander and Haeb-Umbach,
    Reinhold}, year={2008}, pages={73–76} }'
  chicago: Warsitz, Ernst, Alexander Krueger, and Reinhold Haeb-Umbach. “Speech Enhancement
    with a New Generalized Eigenvector Blocking Matrix for Application in a Generalized
    Sidelobe Canceller.” In <i>IEEE International Conference on Acoustics, Speech
    and Signal Processing (ICASSP 2008)</i>, 73–76, 2008. <a href="https://doi.org/10.1109/ICASSP.2008.4517549">https://doi.org/10.1109/ICASSP.2008.4517549</a>.
  ieee: E. Warsitz, A. Krueger, and R. Haeb-Umbach, “Speech enhancement with a new
    generalized eigenvector blocking matrix for application in a generalized sidelobe
    canceller,” in <i>IEEE International Conference on Acoustics, Speech and Signal
    Processing (ICASSP 2008)</i>, 2008, pp. 73–76.
  mla: Warsitz, Ernst, et al. “Speech Enhancement with a New Generalized Eigenvector
    Blocking Matrix for Application in a Generalized Sidelobe Canceller.” <i>IEEE
    International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008)</i>,
    2008, pp. 73–76, doi:<a href="https://doi.org/10.1109/ICASSP.2008.4517549">10.1109/ICASSP.2008.4517549</a>.
  short: 'E. Warsitz, A. Krueger, R. Haeb-Umbach, in: IEEE International Conference
    on Acoustics, Speech and Signal Processing (ICASSP 2008), 2008, pp. 73–76.'
date_created: 2019-07-12T05:31:06Z
date_updated: 2022-01-06T06:51:12Z
department:
- _id: '54'
doi: 10.1109/ICASSP.2008.4517549
keyword:
- adaptive interference canceller
- adaptive signal processing
- array signal processing
- beamforming method
- eigenvalues and eigenfunctions
- generalized eigenvector blocking matrix
- generalized sidelobe canceller
- interference suppression
- matrix algebra
- noise suppression
- speech enhancement
- transfer function estimation
- transfer functions
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://groups.uni-paderborn.de/nt/pubs/2008/WaKrHa08.pdf
oa: '1'
page: 73-76
publication: IEEE International Conference on Acoustics, Speech and Signal Processing
  (ICASSP 2008)
status: public
title: Speech enhancement with a new generalized eigenvector blocking matrix for application
  in a generalized sidelobe canceller
type: conference
user_id: '44006'
year: '2008'
...
---
_id: '11927'
abstract:
- lang: eng
  text: Maximizing the output signal-to-noise ratio (SNR) of a sensor array in the
    presence of spatially colored noise leads to a generalized eigenvalue problem.
    While this approach has extensively been employed in narrowband (antenna) array
    beamforming, it is typically not used for broadband (microphone) array beamforming
    due to the uncontrolled amount of speech distortion introduced by a narrowband
    SNR criterion. In this paper, we show how the distortion of the desired signal
    can be controlled by a single-channel post-filter, resulting in a performance
    comparable to the generalized minimum variance distortionless response beamformer,
    where arbitrary transfer functions relate the source and the microphones. Results
    are given both for directional and diffuse noise. A novel gradient ascent adaptation
    algorithm is presented, and its good convergence properties are experimentally
    revealed by comparison with alternatives from the literature. A key feature of
    the proposed beamformer is that it operates blindly, i.e., it neither requires
    knowledge about the array geometry nor an explicit estimation of the transfer
    functions from source to sensors or the direction-of-arrival.
author:
- first_name: Ernst
  full_name: Warsitz, Ernst
  last_name: Warsitz
- first_name: Reinhold
  full_name: Haeb-Umbach, Reinhold
  id: '242'
  last_name: Haeb-Umbach
citation:
  ama: Warsitz E, Haeb-Umbach R. Blind Acoustic Beamforming Based on Generalized Eigenvalue
    Decomposition. <i>IEEE Transactions on Audio, Speech, and Language Processing</i>.
    2007;15(5):1529-1539. doi:<a href="https://doi.org/10.1109/TASL.2007.898454">10.1109/TASL.2007.898454</a>
  apa: Warsitz, E., &#38; Haeb-Umbach, R. (2007). Blind Acoustic Beamforming Based
    on Generalized Eigenvalue Decomposition. <i>IEEE Transactions on Audio, Speech,
    and Language Processing</i>, <i>15</i>(5), 1529–1539. <a href="https://doi.org/10.1109/TASL.2007.898454">https://doi.org/10.1109/TASL.2007.898454</a>
  bibtex: '@article{Warsitz_Haeb-Umbach_2007, title={Blind Acoustic Beamforming Based
    on Generalized Eigenvalue Decomposition}, volume={15}, DOI={<a href="https://doi.org/10.1109/TASL.2007.898454">10.1109/TASL.2007.898454</a>},
    number={5}, journal={IEEE Transactions on Audio, Speech, and Language Processing},
    author={Warsitz, Ernst and Haeb-Umbach, Reinhold}, year={2007}, pages={1529–1539}
    }'
  chicago: 'Warsitz, Ernst, and Reinhold Haeb-Umbach. “Blind Acoustic Beamforming
    Based on Generalized Eigenvalue Decomposition.” <i>IEEE Transactions on Audio,
    Speech, and Language Processing</i> 15, no. 5 (2007): 1529–39. <a href="https://doi.org/10.1109/TASL.2007.898454">https://doi.org/10.1109/TASL.2007.898454</a>.'
  ieee: E. Warsitz and R. Haeb-Umbach, “Blind Acoustic Beamforming Based on Generalized
    Eigenvalue Decomposition,” <i>IEEE Transactions on Audio, Speech, and Language
    Processing</i>, vol. 15, no. 5, pp. 1529–1539, 2007.
  mla: Warsitz, Ernst, and Reinhold Haeb-Umbach. “Blind Acoustic Beamforming Based
    on Generalized Eigenvalue Decomposition.” <i>IEEE Transactions on Audio, Speech,
    and Language Processing</i>, vol. 15, no. 5, 2007, pp. 1529–39, doi:<a href="https://doi.org/10.1109/TASL.2007.898454">10.1109/TASL.2007.898454</a>.
  short: E. Warsitz, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language
    Processing 15 (2007) 1529–1539.
date_created: 2019-07-12T05:30:57Z
date_updated: 2022-01-06T06:51:12Z
department:
- _id: '54'
doi: 10.1109/TASL.2007.898454
intvolume: '        15'
issue: '5'
keyword:
- acoustic signal processing
- arbitrary transfer function
- array signal processing
- blind acoustic beamforming
- direction-of-arrival
- direction-of-arrival estimation
- eigenvalues and eigenfunctions
- generalized eigenvalue decomposition
- gradient ascent adaptation algorithm
- microphone arrays
- microphones
- narrowband array beamforming
- sensor array
- single-channel post-filter
- spatially colored noise
- transfer functions
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://groups.uni-paderborn.de/nt/pubs/2007/WaHa07.pdf
oa: '1'
page: 1529-1539
publication: IEEE Transactions on Audio, Speech, and Language Processing
status: public
title: Blind Acoustic Beamforming Based on Generalized Eigenvalue Decomposition
type: journal_article
user_id: '44006'
volume: 15
year: '2007'
...