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...
Autores principales: | , , |
---|---|
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 |