--- _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: '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: Frequency Control Symposium, 2008 IEEE International. ; 2008:91-94. doi:10.1109/FREQ.2008.4622963' apa: Uribe, D. O., Stroop, R., Hemsel, T., & Wallaschek, J. (2008). Development of a biomedical tissue differentiation system using piezoelectric actuators. In Frequency Control Symposium, 2008 IEEE International (pp. 91–94). https://doi.org/10.1109/FREQ.2008.4622963 bibtex: '@inproceedings{Uribe_Stroop_Hemsel_Wallaschek_2008, title={Development of a biomedical tissue differentiation system using piezoelectric actuators}, DOI={10.1109/FREQ.2008.4622963}, 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 Frequency Control Symposium, 2008 IEEE International, 91–94, 2008. https://doi.org/10.1109/FREQ.2008.4622963. ieee: D. O. Uribe, R. Stroop, T. Hemsel, and J. Wallaschek, “Development of a biomedical tissue differentiation system using piezoelectric actuators,” in Frequency Control Symposium, 2008 IEEE International, 2008, pp. 91–94. mla: Uribe, David Oliva, et al. “Development of a Biomedical Tissue Differentiation System Using Piezoelectric Actuators.” Frequency Control Symposium, 2008 IEEE International, 2008, pp. 91–94, doi:10.1109/FREQ.2008.4622963. 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: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008). ; 2008:73-76. doi:10.1109/ICASSP.2008.4517549' apa: Warsitz, E., Krueger, A., & Haeb-Umbach, R. (2008). Speech enhancement with a new generalized eigenvector blocking matrix for application in a generalized sidelobe canceller. In IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008) (pp. 73–76). https://doi.org/10.1109/ICASSP.2008.4517549 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={10.1109/ICASSP.2008.4517549}, 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 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008), 73–76, 2008. https://doi.org/10.1109/ICASSP.2008.4517549. 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 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008), 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.” IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008), 2008, pp. 73–76, doi:10.1109/ICASSP.2008.4517549. 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. IEEE Transactions on Audio, Speech, and Language Processing. 2007;15(5):1529-1539. doi:10.1109/TASL.2007.898454 apa: Warsitz, E., & Haeb-Umbach, R. (2007). Blind Acoustic Beamforming Based on Generalized Eigenvalue Decomposition. IEEE Transactions on Audio, Speech, and Language Processing, 15(5), 1529–1539. https://doi.org/10.1109/TASL.2007.898454 bibtex: '@article{Warsitz_Haeb-Umbach_2007, title={Blind Acoustic Beamforming Based on Generalized Eigenvalue Decomposition}, volume={15}, DOI={10.1109/TASL.2007.898454}, 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.” IEEE Transactions on Audio, Speech, and Language Processing 15, no. 5 (2007): 1529–39. https://doi.org/10.1109/TASL.2007.898454.' ieee: E. Warsitz and R. Haeb-Umbach, “Blind Acoustic Beamforming Based on Generalized Eigenvalue Decomposition,” IEEE Transactions on Audio, Speech, and Language Processing, vol. 15, no. 5, pp. 1529–1539, 2007. mla: Warsitz, Ernst, and Reinhold Haeb-Umbach. “Blind Acoustic Beamforming Based on Generalized Eigenvalue Decomposition.” IEEE Transactions on Audio, Speech, and Language Processing, vol. 15, no. 5, 2007, pp. 1529–39, doi:10.1109/TASL.2007.898454. 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' ...