Title :
Co-simulation methodology for improved design and verification of hardware neural networks
Author :
Khalil-Hani, M. ; Nambiar, Vishnu P. ; Marsono, M.N.
Author_Institution :
VeCAD Res. Lab., Univ. Teknol. Malaysia, Skudai, Malaysia
Abstract :
This paper presents a methodology for speeding up the design and verification of process of artificial neural networks (ANNs) in system-on-chip (SoC) hardware with the help of co-simulation. Application of advanced design methodologies for complex designs such as ANNs are important in todays fast moving hardware design industry. However, it is difficult to fully verify the functionality of ANNs when designed in hardware. Most forms of ANN require the use of complex training algorithms, which are difficult to implement in a testbench even with the help of modern interfaces such as SystemVerilog´s DPI-C. The neural network topology selected as the case study for this paper are evolvable block-based neural networks (BbNNs). The case studies employed during the verification process are the XOR problem, driver drowsiness classification, and heart arrhythmia classification. The proposed methodology significantly reduces the verification time required for the design of hardware-based neural networks. This allows complex models applicable a variety of applications to be quickly designed, such as industrial motor controllers or fuzzy systems.
Keywords :
formal verification; hardware description languages; neural nets; system-on-chip; ANN; BbNNs; SoC hardware; SystemVerilog DPI-C; artificial neural networks; block based neural networks; cosimulation methodology; driver drowsiness classification; fuzzy systems; hardware design industry; hardware neural networks; heart arrhythmia classification; industrial motor controllers; neural network topology; system-on-chip; verification process; Arrays; Design methodology; Genetic algorithms; Hardware; Neurons; System-on-chip; Training; Design & verification; block-based neural networks (BbNNs); co-simulation; hardware neural networks;
Conference_Titel :
Industrial Electronics Society, IECON 2013 - 39th Annual Conference of the IEEE
Conference_Location :
Vienna
DOI :
10.1109/IECON.2013.6699477