{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T10:43:41Z","timestamp":1730285021288,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/newcas.2012.6328988","type":"proceedings-article","created":{"date-parts":[[2012,10,16]],"date-time":"2012-10-16T15:06:26Z","timestamp":1350399986000},"page":"189-192","source":"Crossref","is-referenced-by-count":2,"title":["Formal error analysis and verification of a frequency domain equalizer"],"prefix":"10.1109","author":[{"given":"Anis","family":"Souari","sequence":"first","affiliation":[]},{"given":"Sofiene","family":"Tahar","sequence":"additional","affiliation":[]},{"given":"Amjad","family":"Gawanmeh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","article-title":"Formal error analysis and verification of the frequency domain equalizerof a frequency domain equalizer","author":"souari","year":"2012","journal-title":"Technical Report Concordia University"},{"journal-title":"De L'Arithme?tique D'Intervalles la Certification de Programmes","year":"2006","author":"melquiond","key":"16"},{"journal-title":"Rounding Errors in Algebraic Processes","year":"1963","author":"wilkinson","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-005-2256-8"},{"journal-title":"Frequency-Domain Adaptive Filtering","year":"2005","author":"fril","key":"11"},{"journal-title":"Computer Solution of Linear Algebraic Systems","year":"1967","author":"forsythe","key":"12"},{"journal-title":"FPGA Implementation of A Frequency Domain Equalizer","year":"2010","author":"souari","key":"3"},{"journal-title":"Introduction to HOL A Theorem Proving Environment for Higher Order Logic","year":"1993","author":"gordon","key":"2"},{"journal-title":"Matlab \/ Simulink","year":"2012","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/PACRIM.2001.953688"},{"key":"7","first-page":"37","article-title":"A methodology for the formal verification of FFT algorithms in HOL","volume":"3312","author":"akbarpour","year":"2004","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30142-4_1"},{"key":"5","article-title":"Floating point verification in hol light: The exponential function","author":"harrison","year":"1997","journal-title":"Technical Report 428 University of Cambridge"},{"journal-title":"Formal Verification Methodology of DSP Designs","year":"2005","author":"akbarpour","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.06.020"},{"journal-title":"Formal Analysis and Verification of An OFDM Modem Design","year":"2006","author":"abdullah","key":"8"}],"event":{"name":"2012 IEEE 10th International New Circuits and Systems Conference (NEWCAS)","start":{"date-parts":[[2012,6,17]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2012,6,20]]}},"container-title":["10th IEEE International NEWCAS Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6324002\/6328940\/06328988.pdf?arnumber=6328988","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T18:06:37Z","timestamp":1490119597000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6328988\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/newcas.2012.6328988","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}