Cargando…

Grammatical Evolution of Complex Digital Circuits in SystemVerilog

The evolution of complex circuits remains a challenge for the Evolvable Hardware field in spite much effort. There are two major issues: the amount of testing required and the low evolvability of representation structures to handle complex circuitry, at least partially due to the destructive effects...

Descripción completa

Detalles Bibliográficos
Autores principales: Tetteh, Michael, Dias, Douglas Mota, Ryan, Conor
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Nature Singapore 2022
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8918139/
https://www.ncbi.nlm.nih.gov/pubmed/35308804
http://dx.doi.org/10.1007/s42979-022-01045-9
_version_ 1784668670894538752
author Tetteh, Michael
Dias, Douglas Mota
Ryan, Conor
author_facet Tetteh, Michael
Dias, Douglas Mota
Ryan, Conor
author_sort Tetteh, Michael
collection PubMed
description The evolution of complex circuits remains a challenge for the Evolvable Hardware field in spite much effort. There are two major issues: the amount of testing required and the low evolvability of representation structures to handle complex circuitry, at least partially due to the destructive effects of genetic operators. A 64-bit [Formula: see text] 64-bit add-shift multiplier circuit modelled at register-transfer level in SystemVerilog would require approximately 33,200 gates when synthesized using Yosys Open SYnthesis Suite tool. This enormous gate count makes evolving such a circuit at the gate-level difficult. We use Grammatical Evolution (GE) and SystemVerilog, a hardware description language (HDL), to evolve fully functional parameterized Adder, Multiplier, Selective Parity and Up–Down Counter circuits at a more abstract level other than gate level—register transfer level. Parameterized modules have the additional benefit of not requiring a re-run of evolutionary experiments if multiple instances with different input sizes are required. For example, a 64-bit [Formula: see text] 64-bit and 128-bit [Formula: see text] 128-bit multipliers etc., can be instantiated from  a fully evolved functional and parameterized N-bit [Formula: see text] N-bit multiplier. The Adder (6.4[Formula: see text] ), Multiplier (10.7[Formula: see text] ) and Selective Parity (6.7[Formula: see text] ) circuits are substantially larger than the current state of the art for evolutionary approaches. We are able to scale so dramatically because of the use of a HDL, which permits us to operate at a register-transfer level. Furthermore, we adopt a well known technique for reducing testing from digital circuit design known as corner case testing. Skilled circuit designers rely on this to avoid time-consuming exhaustive testing. We demonstrate a simple way to identify and use corner cases for evolutionary testing and show that it enables the generation of massively complex circuits. All circuits were successfully evolved without resorting to the use of any standard decomposition methods, due to our ability to use programming constructs and operators available in SystemVerilog.
format Online
Article
Text
id pubmed-8918139
institution National Center for Biotechnology Information
language English
publishDate 2022
publisher Springer Nature Singapore
record_format MEDLINE/PubMed
spelling pubmed-89181392022-03-17 Grammatical Evolution of Complex Digital Circuits in SystemVerilog Tetteh, Michael Dias, Douglas Mota Ryan, Conor SN Comput Sci Original Research The evolution of complex circuits remains a challenge for the Evolvable Hardware field in spite much effort. There are two major issues: the amount of testing required and the low evolvability of representation structures to handle complex circuitry, at least partially due to the destructive effects of genetic operators. A 64-bit [Formula: see text] 64-bit add-shift multiplier circuit modelled at register-transfer level in SystemVerilog would require approximately 33,200 gates when synthesized using Yosys Open SYnthesis Suite tool. This enormous gate count makes evolving such a circuit at the gate-level difficult. We use Grammatical Evolution (GE) and SystemVerilog, a hardware description language (HDL), to evolve fully functional parameterized Adder, Multiplier, Selective Parity and Up–Down Counter circuits at a more abstract level other than gate level—register transfer level. Parameterized modules have the additional benefit of not requiring a re-run of evolutionary experiments if multiple instances with different input sizes are required. For example, a 64-bit [Formula: see text] 64-bit and 128-bit [Formula: see text] 128-bit multipliers etc., can be instantiated from  a fully evolved functional and parameterized N-bit [Formula: see text] N-bit multiplier. The Adder (6.4[Formula: see text] ), Multiplier (10.7[Formula: see text] ) and Selective Parity (6.7[Formula: see text] ) circuits are substantially larger than the current state of the art for evolutionary approaches. We are able to scale so dramatically because of the use of a HDL, which permits us to operate at a register-transfer level. Furthermore, we adopt a well known technique for reducing testing from digital circuit design known as corner case testing. Skilled circuit designers rely on this to avoid time-consuming exhaustive testing. We demonstrate a simple way to identify and use corner cases for evolutionary testing and show that it enables the generation of massively complex circuits. All circuits were successfully evolved without resorting to the use of any standard decomposition methods, due to our ability to use programming constructs and operators available in SystemVerilog. Springer Nature Singapore 2022-03-12 2022 /pmc/articles/PMC8918139/ /pubmed/35308804 http://dx.doi.org/10.1007/s42979-022-01045-9 Text en © The Author(s) 2022 https://creativecommons.org/licenses/by/4.0/Open AccessThis article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/ (https://creativecommons.org/licenses/by/4.0/) .
spellingShingle Original Research
Tetteh, Michael
Dias, Douglas Mota
Ryan, Conor
Grammatical Evolution of Complex Digital Circuits in SystemVerilog
title Grammatical Evolution of Complex Digital Circuits in SystemVerilog
title_full Grammatical Evolution of Complex Digital Circuits in SystemVerilog
title_fullStr Grammatical Evolution of Complex Digital Circuits in SystemVerilog
title_full_unstemmed Grammatical Evolution of Complex Digital Circuits in SystemVerilog
title_short Grammatical Evolution of Complex Digital Circuits in SystemVerilog
title_sort grammatical evolution of complex digital circuits in systemverilog
topic Original Research
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8918139/
https://www.ncbi.nlm.nih.gov/pubmed/35308804
http://dx.doi.org/10.1007/s42979-022-01045-9
work_keys_str_mv AT tettehmichael grammaticalevolutionofcomplexdigitalcircuitsinsystemverilog
AT diasdouglasmota grammaticalevolutionofcomplexdigitalcircuitsinsystemverilog
AT ryanconor grammaticalevolutionofcomplexdigitalcircuitsinsystemverilog