TY - CHAP AU - Alfonso Martínez-Cruz AU - Ignacio Algredo-Badillo AU - Alejandro Medina- Santiago AU - Kelsey Ramírez-Gutiérrez AU - Prometeo Cortés-Antonio AU - Ricardo Barrón-Fernández AU - René Cumplido-Parra AU - Kwang-Ting Cheng ED - Vahid Asadpour Y1 - 2018-11-09 PY - 2018 T1 - Functional Verification of Digital Systems Using Meta-Heuristic Algorithms N2 - This book provides an approach toward the applications and principle theory of digital signal processing in modern intelligent systems, biological engineering, telecommunication, and information technology. Assuming the reader already has prior knowledge of signal processing theory, this book will be useful for finding novel methods that fit special needs in digital signal processing (DSP). The combination of signal processing and intelligent systems in hybrid structures rather than serial or parallel processing provide the best mechanism that is a better fit with the comprehensive nature of human. This book is a practical reference that places the emphasis on principles and applications of DSP in digital systems. It covers a broad area of digital systems and applications of machine learning methods including convolutional neural networks, evolutionary algorithms, adaptive filters, spectral estimation, data compression and functional verification. The level of the book is ideal for professional DSP users and useful for graduate students who are looking for solutions to their design problems. The theoretical principles provide the required base for comprehension of the methods and application of modifications for the special needs of practical projects. BT - Digital Systems SP - Ch. 5 UR - https://doi.org/10.5772/intechopen.80048 DO - 10.5772/intechopen.80048 SN - 978-1-78984-541-9 PB - IntechOpen CY - Rijeka Y2 - 2024-04-19 ER -