Improving Bio-Inspired Frameworks
In this thesis, we provide solutions to two different bio-inspired algorithms. The first is enhancing the performance of bio-inspired test generation for circuits described in RTL Verilog, specifically for branch coverage. We seek to improve upon an existing framework, BEACON, in terms of performanc...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Published: |
Virginia Tech
2020
|
Subjects: | |
Online Access: | http://hdl.handle.net/10919/97506 |
id |
ndltd-VTETD-oai-vtechworks.lib.vt.edu-10919-97506 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-VTETD-oai-vtechworks.lib.vt.edu-10919-975062020-09-29T05:44:17Z Improving Bio-Inspired Frameworks Varadarajan, Aravind Krishnan Electrical and Computer Engineering Hsiao, Michael S. Patterson, Cameron D. Zeng, Haibo RTL GPU Neural Nets Relaibility Performance Branch Coverage Test Generation Genetic Algorithm CUDA In this thesis, we provide solutions to two different bio-inspired algorithms. The first is enhancing the performance of bio-inspired test generation for circuits described in RTL Verilog, specifically for branch coverage. We seek to improve upon an existing framework, BEACON, in terms of performance. BEACON is an Ant Colony Optimization (ACO) based test generation framework. Similar to other ACO frameworks, BEACON also has a good scope in improving performance using parallel computing. We try to exploit the available parallelism using both multi-core Central Processing Units (CPUs) and Graphics Processing Units(GPUs). Using our new multithreaded approach we can reduce test generation time by a factor of 25�-- compared to the original implementation for a wide variety of circuits. We also provide a 2-dimensional factoring method for BEACON to improve available parallelism to yield some additional speedup. The second bio-inspired algorithm we address is for Deep Neural Networks. With the increasing prevalence of Neural Nets in artificial intelligence and mission-critical applications such as self-driving cars, questions arise about its reliability and robustness. We have developed a test-generation based technique and metric to evaluate the robustness of a Neural Nets outputs based on its sensitivity to its inputs. This is done by generating inputs which the neural nets find difficult to classify but at the same time is relatively apparent to human perception. We measure the degree of difficulty for generating such inputs to calculate our metric. MS 2020-03-29T06:00:38Z 2020-03-29T06:00:38Z 2018-10-05 Thesis vt_gsexam:17195 http://hdl.handle.net/10919/97506 In Copyright http://rightsstatements.org/vocab/InC/1.0/ ETD application/pdf Virginia Tech |
collection |
NDLTD |
format |
Others
|
sources |
NDLTD |
topic |
RTL GPU Neural Nets Relaibility Performance Branch Coverage Test Generation Genetic Algorithm CUDA |
spellingShingle |
RTL GPU Neural Nets Relaibility Performance Branch Coverage Test Generation Genetic Algorithm CUDA Varadarajan, Aravind Krishnan Improving Bio-Inspired Frameworks |
description |
In this thesis, we provide solutions to two different bio-inspired algorithms. The first is enhancing the performance of bio-inspired test generation for circuits described in RTL Verilog, specifically for branch coverage. We seek to improve upon an existing framework, BEACON, in terms of performance. BEACON is an Ant Colony Optimization (ACO) based test generation framework. Similar to other ACO frameworks, BEACON also has a good scope in improving performance using parallel computing. We try to exploit the available parallelism using both multi-core Central Processing Units (CPUs) and Graphics Processing Units(GPUs). Using our new multithreaded approach we can reduce test generation time by a factor of 25�-- compared to the original implementation for a wide variety of circuits. We also provide a 2-dimensional factoring method for BEACON to improve available parallelism to yield some additional speedup. The second bio-inspired algorithm we address is for Deep Neural Networks. With the increasing prevalence of Neural Nets in artificial intelligence and mission-critical applications such as self-driving cars, questions arise about its reliability and robustness. We have developed a test-generation based technique and metric to evaluate the robustness of a Neural Nets outputs based on its sensitivity to its inputs. This is done by generating inputs which the neural nets find difficult to classify but at the same time is relatively apparent to human perception. We measure the degree of difficulty for generating such inputs to calculate our metric. === MS |
author2 |
Electrical and Computer Engineering |
author_facet |
Electrical and Computer Engineering Varadarajan, Aravind Krishnan |
author |
Varadarajan, Aravind Krishnan |
author_sort |
Varadarajan, Aravind Krishnan |
title |
Improving Bio-Inspired Frameworks |
title_short |
Improving Bio-Inspired Frameworks |
title_full |
Improving Bio-Inspired Frameworks |
title_fullStr |
Improving Bio-Inspired Frameworks |
title_full_unstemmed |
Improving Bio-Inspired Frameworks |
title_sort |
improving bio-inspired frameworks |
publisher |
Virginia Tech |
publishDate |
2020 |
url |
http://hdl.handle.net/10919/97506 |
work_keys_str_mv |
AT varadarajanaravindkrishnan improvingbioinspiredframeworks |
_version_ |
1719345948855894016 |