AI-Powered Neural Network Verification: System Verilog Methodologies for Machine Learning in Hardware

This research focuses on verifying neural network models using System Verilog, with two primary applications: visual edge detection and neuron behavior modeling. In modern chip design, hardware verification plays a crucial role in ensuring that complex neural models perform as expected. A neuron model based on Hubel and Wiesel’s feed-forward network architecture was proposed and tested using integrator and threshold modules implemented in Verilog. The proposed verification methodology employs self-checking test benches, supported by functional coverage and simulation, for comprehensive validation. The results demonstrate efficient verification with high coverage, paving the way for future advancements in hardware neural networks.

Authors

Institutions

Publication Details

Journal
Journal of Artificial Intelligence General science (JAIGS) ISSN 3006-4023
Published
2024-09-16
DOI
https://doi.org/10.60087/jaigs.v6i1.222
Primary Topic
Adversarial Robustness in Machine Learning
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

AI-Powered Neural Network Verification: System Verilog Methodologies for Machine Learning in Hardware

Prashis Raghuwanshi
Journal of Artificial Intelligence General science (JAIGS) ISSN 3006-4023
Adversarial Robustness in Machine Learning
article

AI-Powered Neural Network Verification: System Verilog Methodologies for Machine Learning in Hardware

Prashis Raghuwanshi
article en

Abstract

This research focuses on verifying neural network models using System Verilog, with two primary applications: visual edge detection and neuron behavior modeling. In modern chip design, hardware verification plays a crucial role in ensuring that complex neural models perform as expected. A neuron model based on Hubel and Wiesel’s feed-forward network architecture was proposed and tested using integrator and threshold modules implemented in Verilog. The proposed verification methodology employs self-checking test benches, supported by functional coverage and simulation, for comprehensive validation. The results demonstrate efficient verification with high coverage, paving the way for future advancements in hardware neural networks.

Journal of Artificial Intelligence General science (JAIGS) ISSN 3006-4023Vol. 6(1)
Institute of Electrical and Electronics Engineers (US)
Industry, innovation and infrastructure
Openalex Percentile: Top 86%
Adversarial Robustness in Machine Learning
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.