[{"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."}],"publication":"Proceedings of SIES 2010","citation":{"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>.","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>","short":"G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE,  Trento, Italy, 2010.","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>.","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>","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>."},"type":"conference","keyword":["Libraries","Generators","Transfer functions","Monitoring","Computational modeling","Driver circuits","Adaptation model"],"department":[{"_id":"672"}],"date_created":"2023-01-17T11:34:56Z","place":" Trento, Italy","date_updated":"2023-01-17T11:35:03Z","year":"2010","status":"public","title":"Verification of a CAN Bus Model in SystemC with Functional Coverage","publication_identifier":{"eisbn":["978-1-4244-5841-7"]},"author":[{"full_name":"Defo, Gilles B.","last_name":"Defo","first_name":"Gilles B."},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Kuznik","first_name":"Christoph","full_name":"Kuznik, Christoph"}],"conference":{"location":" Trento, Italy","name":"International Symposium on Industrial Embedded System (SIES)"},"user_id":"5786","doi":"10.1109/SIES.2010.5551379","publisher":"IEEE","_id":"37057","language":[{"iso":"eng"}]},{"citation":{"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.","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>","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>.","short":"D.O. Uribe, R. Stroop, T. Hemsel, J. Wallaschek, 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.” <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>.","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} }","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>"},"publication":"Frequency Control Symposium, 2008 IEEE International","quality_controlled":"1","abstract":[{"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.","lang":"eng"}],"date_created":"2019-04-29T13:07:39Z","department":[{"_id":"151"}],"type":"conference","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"],"author":[{"full_name":"Uribe, David Oliva","first_name":"David Oliva","last_name":"Uribe"},{"full_name":"Stroop, Ralf","last_name":"Stroop","first_name":"Ralf"},{"full_name":"Hemsel, Tobias","last_name":"Hemsel","first_name":"Tobias","id":"210"},{"full_name":"Wallaschek, Jörg","first_name":"Jörg","last_name":"Wallaschek"}],"publication_identifier":{"issn":["1075-6787"]},"year":"2008","title":"Development of a biomedical tissue differentiation system using piezoelectric actuators","status":"public","date_updated":"2022-01-06T07:04:16Z","language":[{"iso":"eng"}],"_id":"9576","page":"91-94","user_id":"55222","doi":"10.1109/FREQ.2008.4622963"},{"page":"73-76","main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2008/WaKrHa08.pdf","open_access":"1"}],"_id":"11935","language":[{"iso":"eng"}],"user_id":"44006","doi":"10.1109/ICASSP.2008.4517549","year":"2008","title":"Speech enhancement with a new generalized eigenvector blocking matrix for application in a generalized sidelobe canceller","status":"public","author":[{"full_name":"Warsitz, Ernst","last_name":"Warsitz","first_name":"Ernst"},{"full_name":"Krueger, Alexander","first_name":"Alexander","last_name":"Krueger"},{"last_name":"Haeb-Umbach","first_name":"Reinhold","full_name":"Haeb-Umbach, Reinhold","id":"242"}],"date_updated":"2022-01-06T06:51:12Z","date_created":"2019-07-12T05:31:06Z","type":"conference","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"],"department":[{"_id":"54"}],"oa":"1","publication":"IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008)","citation":{"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} }","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>","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>.","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>.","short":"E. Warsitz, A. Krueger, R. Haeb-Umbach, in: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008), 2008, pp. 73–76.","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.","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>"},"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."}]},{"status":"public","volume":15,"user_id":"44006","_id":"11927","page":"1529-1539","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>","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} }","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.","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>.","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>","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."},"oa":"1","intvolume":"        15","date_updated":"2022-01-06T06:51:12Z","author":[{"full_name":"Warsitz, Ernst","first_name":"Ernst","last_name":"Warsitz"},{"last_name":"Haeb-Umbach","first_name":"Reinhold","full_name":"Haeb-Umbach, Reinhold","id":"242"}],"year":"2007","title":"Blind Acoustic Beamforming Based on Generalized Eigenvalue Decomposition","doi":"10.1109/TASL.2007.898454","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2007/WaHa07.pdf","open_access":"1"}],"abstract":[{"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.","lang":"eng"}],"publication":"IEEE Transactions on Audio, Speech, and Language Processing","issue":"5","department":[{"_id":"54"}],"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"],"type":"journal_article","date_created":"2019-07-12T05:30:57Z"}]