TY - GEN
T1 - Behavioural Modelling of Digital Circuits in SystemVerilog Using Grammatical Evolution
AU - Tetteh, Michael
AU - Ryan, Conor
AU - Dias, Douglas Mota
N1 - Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2023
Y1 - 2023
N2 - Digital circuit design is a very complex and time consuming task which requires a great deal of skill. It has been greatly aided by the use of Hardware Description Languages (HDLs) and powerful logic simulators. HDLs permit circuit designers to design circuits at a very abstract level. These are then tested before being committed to hardware. We present Automatic Design of Digital Circuits (ADDC), a system that employs Grammatical Evolution, SystemVerilog (an HDL) and Icarus Verilog (simulator) to design conventional circuits. ADDC is easily configurable to use with different HDLs and logic simulators. ADDC designs circuits at a higher abstraction level compared with previous works due to the use of HDLs, which are very expressive. Constructs such as if-else, always procedural block, generate for-loop (or synthesizable for-loop) and switch-case are readily available aiding designers to behaviourally describe circuits. In addition, due to the expressiveness of HDLs, ADDC evolved solutions are quite human interpretable. ADDC is tested using three combinational and two sequential circuits. We show that ADDC is successful on all five benchmark problems. In addition, we show that the introduction of simple domain knowledge into grammars has a major impact on evolutionary performance. Furthermore, Probabilisitc Tree Creation 2 initialization routine performed better on most digital circuit benchmark problems but not all compared to Sensible Initialization.
AB - Digital circuit design is a very complex and time consuming task which requires a great deal of skill. It has been greatly aided by the use of Hardware Description Languages (HDLs) and powerful logic simulators. HDLs permit circuit designers to design circuits at a very abstract level. These are then tested before being committed to hardware. We present Automatic Design of Digital Circuits (ADDC), a system that employs Grammatical Evolution, SystemVerilog (an HDL) and Icarus Verilog (simulator) to design conventional circuits. ADDC is easily configurable to use with different HDLs and logic simulators. ADDC designs circuits at a higher abstraction level compared with previous works due to the use of HDLs, which are very expressive. Constructs such as if-else, always procedural block, generate for-loop (or synthesizable for-loop) and switch-case are readily available aiding designers to behaviourally describe circuits. In addition, due to the expressiveness of HDLs, ADDC evolved solutions are quite human interpretable. ADDC is tested using three combinational and two sequential circuits. We show that ADDC is successful on all five benchmark problems. In addition, we show that the introduction of simple domain knowledge into grammars has a major impact on evolutionary performance. Furthermore, Probabilisitc Tree Creation 2 initialization routine performed better on most digital circuit benchmark problems but not all compared to Sensible Initialization.
KW - Combinational circuit
KW - Digital circuit design
KW - Evolvable hardware
KW - Grammatical evolution
KW - Hardware description languages
KW - Lexicase selection
KW - Probabilistic Tree Creation 2 (PTC 2)
KW - Sensible Initialization
KW - Sequential circuit
UR - http://www.scopus.com/inward/record.url?scp=85177176403&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-46221-4_2
DO - 10.1007/978-3-031-46221-4_2
M3 - Conference contribution
AN - SCOPUS:85177176403
SN - 9783031462207
T3 - Studies in Computational Intelligence
SP - 24
EP - 43
BT - Computational Intelligence
A2 - Garibaldi, Jonathan
A2 - Wagner, Christian
A2 - Bäck, Thomas
A2 - Lam, Hak-Keung
A2 - Cottrell, Marie
A2 - Madani, Kurosh
A2 - Warwick, Kevin
PB - Springer Science and Business Media Deutschland GmbH
T2 - International Joint Conference on Computational Intelligence, IJCCI 2020 and 2021
Y2 - 25 October 2021 through 27 October 2021
ER -